summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJed Barber <jjbarber@y7mail.com>2015-03-14 23:39:08 +1100
committerJed Barber <jjbarber@y7mail.com>2015-03-14 23:39:08 +1100
commit0552bcdf5dfd199ce2cd9f9d2f4e614a6f217b7f (patch)
treee5e234c346db552239ec9afd623cc1b07bda3c62 /.gitignore
parentaac4cacb47ba22edf8cc722ff2a8fb9e19072a4b (diff)
.ali files from GNAT now ignored
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore3
1 files changed, 2 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index 08bbf3b..911c7f4 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,6 @@
-# ignore files generated by GHC
+# ignore intermediate files generated by compilers
*.hi
*.o
+*.ali