aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorBadlop <badlop@process-one.net>2022-11-03 18:38:51 +0100
committerBadlop <badlop@process-one.net>2022-11-04 16:17:33 +0100
commit1072f593f12d1347427806d3db23232f9a896494 (patch)
tree72e5a8033f8771745499faf67b85d09e30a0ca58 /.gitignore
parentmove spool dir to make it fully configurable per ejabberdctl.cfg (#3863) (diff)
Ignore /doc, generated by tools/check_xep_versions.sh
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 6bfafc069..67b66cf7e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,6 +7,7 @@
.edts
*.dump
/Makefile
+/doc
/config.log
/config.status
/config/releases.exs