better gitignore

arminbiere · May 1, 2020 · 7d5db72 · 7d5db72
1 parent 0e60b76
commit 7d5db72
Showing 1 changed file with 2 additions and 8 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,14 +1,8 @@
-lglbnr.o
+*.o
+*.a
 lglcfg.h
 lglcflags.h
-lgldimacs.o
-lglib.o
-lglmain.o
 lglmbt
-lglmbt.o
-lglopts.o
-liblgl.a
 lingeling
 makefile
 plingeling
-plingeling.o