updates

[phd-thesis.git] / appx / lst / .gitignore

diff --git a/appx/lst/.gitignore b/appx/lst/.gitignore
index 109b14a..9e3a720 100644 (file)
--- a/appx/lst/.gitignore
+++ b/appx/lst/.gitignore
@@ -1,7 +1,3 @@
-Clean System Files
-*.o
-*.hi
-
 expr_gadt
 generic_eq
 generic_print