diff options
-rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -9,3 +9,5 @@ /doc/config.mk /doc/config.status /doc/configure +tags +TAGS |
index : haddock.git | ||
Haddock with an org backend (haddorg). |
aboutsummaryrefslogtreecommitdiff |
-rw-r--r-- | .gitignore | 2 |
@@ -9,3 +9,5 @@ /doc/config.mk /doc/config.status /doc/configure +tags +TAGS |