summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorGregor Kleen <gkleen@yggdrasil.li>2017-10-24 21:31:06 +0200
committerGregor Kleen <gkleen@yggdrasil.li>2017-10-24 21:31:06 +0200
commitb83a8e228725d9ab1b37805bf440cbbf97aea6c0 (patch)
tree8364d0dc62f1a93f4b1e660b836fd1e02fc86228 /.gitignore
parent01747f4892099ae1ab2c9aaf4b0653fa4b2c4db3 (diff)
downloadincremental-dfsts-b83a8e228725d9ab1b37805bf440cbbf97aea6c0.tar
incremental-dfsts-b83a8e228725d9ab1b37805bf440cbbf97aea6c0.tar.gz
incremental-dfsts-b83a8e228725d9ab1b37805bf440cbbf97aea6c0.tar.bz2
incremental-dfsts-b83a8e228725d9ab1b37805bf440cbbf97aea6c0.tar.xz
incremental-dfsts-b83a8e228725d9ab1b37805bf440cbbf97aea6c0.zip
Discuss Incremental Analysis of Real Programming Languages
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore3
1 files changed, 2 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index bb009ce..670b81f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,3 @@
1literature.pdf 1literature.pdf
2literature.meta.yml \ No newline at end of file 2literature.meta.yml
3**/.gup