aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGuido Günther <agx@sigxcpu.org>2015-12-26 14:42:30 +0100
committerGuido Günther <agx@sigxcpu.org>2015-12-26 14:42:30 +0100
commit34517f3cff2b7a6ef947ec9098ce581a9ae7c5e5 (patch)
treef81845f1444ac36734bffb3977d290c0b952ed06
parentd68d4ebd8d23550940196ac3499616dca32ee64a (diff)
Ignore generated docsHEADmaster
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 4e57610..728d5b5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
.eunit/
ebin/
+doc/
*~