aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@csail.mit.edu>2015-09-17 15:25:54 -0400
committerGravatar Adam Chlipala <adamc@csail.mit.edu>2015-09-17 15:25:54 -0400
commite2318887caef348bafaaf8840245d0a1dfedf24d (patch)
tree1566908ef9bbbdc2b24d54eda95eb35ca531af28 /.gitignore
parent810f1d9adf16235dd69f90cca512275585d0ef32 (diff)
Got most of the way through new GaloisField code
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore2
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 000000000..ae784f4a5
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,2 @@
+fiat
+*~