diff options
| author | David Thompson <dthompson2@worcester.edu> | 2018-08-23 07:48:24 -0400 |
|---|---|---|
| committer | David Thompson <dthompson2@worcester.edu> | 2018-08-23 08:02:20 -0400 |
| commit | 8163e4b415bcf1f6a696ccbf06e3136aea1a261f (patch) | |
| tree | 49be82cd6cac3c73464d7c5db31a94b99762a30d | |
| parent | 92ddc07c3495ed032fdff941d345c77492c3cb9b (diff) | |
git: Ignore html manual build artifacts.
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -13,3 +13,4 @@ /doc/chickadee.info /autom4te.cache /build-aux +/doc/chickadee.html/ |