diff options
author | Badlop <badlop@process-one.net> | 2021-03-19 15:15:43 +0300 |
---|---|---|
committer | Badlop <badlop@process-one.net> | 2021-03-19 17:13:04 +0300 |
commit | 9bf37d7fdff02b2b1dc24dc2e2a19e8bfd279fcb (patch) | |
tree | 67c73f8d1f33a7dde85007509e6da8ef2b07a0ac /.gitignore | |
parent | 02830a8b7658d48af46dfb83ba16b3f5492d5a8f (diff) |
No need to ignore doc/, it was removed in 2015! See 1854b5e4
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/.gitignore b/.gitignore index 227e4669f..cb9e68eec 100644 --- a/.gitignore +++ b/.gitignore @@ -15,19 +15,6 @@ /*.cache /deps/ /.deps-update/ -/doc/*.aux -/doc/*.haux -/doc/*.html -/doc/*.htoc -/doc/*.idx -/doc/*.ilg -/doc/*.ind -/doc/*.log -/doc/*.out -/doc/*.pdf -/doc/*.toc -/doc/contributed_modules.tex -/doc/version.tex /ebin/ /ejabberd.init /ejabberd.service |