diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2015-03-14 23:39:08 +1100 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2015-03-14 23:39:08 +1100 |
| commit | 0552bcdf5dfd199ce2cd9f9d2f4e614a6f217b7f (patch) | |
| tree | e5e234c346db552239ec9afd623cc1b07bda3c62 | |
| parent | aac4cacb47ba22edf8cc722ff2a8fb9e19072a4b (diff) | |
.ali files from GNAT now ignored
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -1,5 +1,6 @@ -# ignore files generated by GHC +# ignore intermediate files generated by compilers *.hi *.o +*.ali |