summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorGregor Kleen <gkleen@yggdrasil.li>2019-06-07 10:32:33 +0200
committerGregor Kleen <gkleen@yggdrasil.li>2019-06-07 10:32:33 +0200
commitc5bb080ff0e8afed5a71558b8cc82785789308ba (patch)
tree300bdbaae1ffafee11cf799bf58e63e3f22edc58 /.gitignore
parent24f64aafe8b05054e307d90564104f1c2d467524 (diff)
downloadincremental-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--.gitignore2
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index bf8d48a..412defe 100644
--- a/.gitignore
+++ b/.gitignore
@@ -9,3 +9,5 @@ literature.pdf
9**.prof 9**.prof
10**.prof.* 10**.prof.*
11examples 11examples
12/presentation.169.pdf
13/presentation.169.pdfpc