diff options
author | Gregor Kleen <gkleen@yggdrasil.li> | 2019-06-07 10:32:33 +0200 |
---|---|---|
committer | Gregor Kleen <gkleen@yggdrasil.li> | 2019-06-07 10:32:33 +0200 |
commit | c5bb080ff0e8afed5a71558b8cc82785789308ba (patch) | |
tree | 300bdbaae1ffafee11cf799bf58e63e3f22edc58 /.gitignore | |
parent | 24f64aafe8b05054e307d90564104f1c2d467524 (diff) | |
download | incremental-dfsts-c5bb080ff0e8afed5a71558b8cc82785789308ba.tar incremental-dfsts-c5bb080ff0e8afed5a71558b8cc82785789308ba.tar.gz incremental-dfsts-c5bb080ff0e8afed5a71558b8cc82785789308ba.tar.bz2 incremental-dfsts-c5bb080ff0e8afed5a71558b8cc82785789308ba.tar.xz incremental-dfsts-c5bb080ff0e8afed5a71558b8cc82785789308ba.zip |
Cleanup
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -9,3 +9,5 @@ literature.pdf | |||
9 | **.prof | 9 | **.prof |
10 | **.prof.* | 10 | **.prof.* |
11 | examples | 11 | examples |
12 | /presentation.169.pdf | ||
13 | /presentation.169.pdfpc | ||