diff options
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 00000000..6c331ace --- /dev/null +++ b/.gitignore @@ -0,0 +1,17 @@ +# generic +.* +*.o +*.a +*.so + +# generated +pre-process.h + +# programs +test-lexing +test-parsing +obfuscate +check +compile +test-linearize +example |