ignore more files

fplll · Nov 1, 2019 · 8052622f85c0d3a69d16a05f3c38e4f044d18570 · 8052622
1 parent 69846d6
commit 8052622f85c0d3a69d16a05f3c38e4f044d18570
Unified Split

Showing with 2 additions and 0 deletions.

+2 −0 .gitignore
diff --git a/.gitignore b/.gitignore
@@ -72,3 +72,5 @@ doc/html/
 /fplll/pruner/*.o
 /fplll/enum-parallel/*.o
 /tests/test_enum
+/tests/test_bkz_gram
+/tests/test_svp_gram