From e2318887caef348bafaaf8840245d0a1dfedf24d Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 17 Sep 2015 15:25:54 -0400 Subject: Got most of the way through new GaloisField code --- .gitignore | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 .gitignore (limited to '.gitignore') diff --git a/.gitignore b/.gitignore new file mode 100644 index 000000000..ae784f4a5 --- /dev/null +++ b/.gitignore @@ -0,0 +1,2 @@ +fiat +*~ -- cgit v1.2.3