summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorCarlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au>2012-03-30 18:09:10 +1100
committerCarlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au>2012-03-30 18:09:10 +1100
commit83e2c574bdefe2d040cdfbe20a73380a0f0123dd (patch)
tree26bac5586a6c2cf40e837e280c3720ce13f39dbb /.gitignore
Initial commit. Basic Kleene iteration stuff.
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..7fc71cc
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+/a.out