diff options
-rw-r--r-- | .gitignore | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -13,4 +13,7 @@ hs_err_pid* | |||
13 | 13 | ||
14 | # BlueJ | 14 | # BlueJ |
15 | *.bluej | 15 | *.bluej |
16 | *.ctxt \ No newline at end of file | 16 | *.ctxt |
17 | |||
18 | # Eclipse | ||
19 | .project \ No newline at end of file | ||