diff options
author | Adam Chlipala <adamc@csail.mit.edu> | 2015-09-17 15:25:54 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@csail.mit.edu> | 2015-09-17 15:25:54 -0400 |
commit | e2318887caef348bafaaf8840245d0a1dfedf24d (patch) | |
tree | 1566908ef9bbbdc2b24d54eda95eb35ca531af28 /.gitignore | |
parent | 810f1d9adf16235dd69f90cca512275585d0ef32 (diff) |
Got most of the way through new GaloisField code
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 2 |
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 +*~ |