diff options
author | Pjotr Prins | 2017-08-20 09:21:01 +0000 |
---|---|---|
committer | Pjotr Prins | 2017-08-20 09:21:01 +0000 |
commit | e04e6e1d9cac2179bc449c916dc7fa9340dac349 (patch) | |
tree | 321b14efee4151e5800decab99bde5f5a613c637 /.gitignore | |
parent | d564a6f16613985340040cc7ab0ffc371cbce3d1 (diff) | |
download | pangemma-e04e6e1d9cac2179bc449c916dc7fa9340dac349.tar.gz |
Support files
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -4,6 +4,7 @@ src/Eigen example/output test/output ./output +bin/ doc/manual.aux doc/manual.bbl doc/manual.blg |