aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorPjotr Prins2017-08-20 09:21:01 +0000
committerPjotr Prins2017-08-20 09:21:01 +0000
commite04e6e1d9cac2179bc449c916dc7fa9340dac349 (patch)
tree321b14efee4151e5800decab99bde5f5a613c637 /.gitignore
parentd564a6f16613985340040cc7ab0ffc371cbce3d1 (diff)
downloadpangemma-e04e6e1d9cac2179bc449c916dc7fa9340dac349.tar.gz
Support files
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 5088ec4..ef520c8 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,6 +4,7 @@ src/Eigen
example/output
test/output
./output
+bin/
doc/manual.aux
doc/manual.bbl
doc/manual.blg