improving type checking

[cc1516.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index e45a789..ec728ed 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,8 @@
 Clean System Files
-lex
+sapl
+spl
+spl.1
+*.prj
+a.out
+rwst
+*.jar