aboutsummaryrefslogtreecommitdiffhomepage
path: root/.gitignore
diff options
context:
space:
mode:
authorGravatar Matej Kosik <m4tej.kosik@gmail.com>2016-05-19 19:44:54 +0200
committerGravatar Matej Kosik <m4tej.kosik@gmail.com>2016-05-19 19:44:54 +0200
commit027c42c467da891803936155097879896dcd7ec7 (patch)
treed6a7eef965cd4d02361370b3fa34fa0eb68350bb /.gitignore
parentd2f9a457d0bb2fd11ac7d5f6587174a79ca9c4b6 (diff)
adding "user-contrib" directory to ".gitignore"
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 6d843661f..3f9856916 100644
--- a/.gitignore
+++ b/.gitignore
@@ -168,3 +168,4 @@ dev/myinclude
/doc/refman/Reference-Manual.hoptind
/doc/refman/Reference-Manual.optidx
/doc/refman/Reference-Manual.optind
+user-contrib