aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorPjotr Prins2017-07-16 11:05:39 +0000
committerPjotr Prins2017-07-16 11:05:39 +0000
commitd6098a5f318543b525878c6cf45ddfe8ec923d9d (patch)
tree47e1610aebddc635552e6d29251a52424ad625c5 /.gitignore
parentc3bc17415916a38aae675805b7f26a4cb6aafeca (diff)
downloadpangemma-d6098a5f318543b525878c6cf45ddfe8ec923d9d.tar.gz
sunit2: added instructions
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index d6c227e..5088ec4 100644
--- a/.gitignore
+++ b/.gitignore
@@ -10,3 +10,4 @@ doc/manual.blg
doc/manual.log
doc/manual.out
doc/manual.toc
+contrib/