summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJed Barber <jjbarber@y7mail.com>2014-03-06 18:17:15 +1100
committerJed Barber <jjbarber@y7mail.com>2014-03-06 18:17:15 +1100
commitef81889c1eccb08acc27d47c9df652541134e3db (patch)
treece3d1350cf8ad5256b8cb94a0ce6f6df5dce61c3 /.gitignore
parent93dcd8b68c0b9d3ecb5cb2352b11c3a9b362f1d9 (diff)
Getting remote and local repos sync'd
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore5
1 files changed, 5 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..08bbf3b
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,5 @@
+
+# ignore files generated by GHC
+
+*.hi
+*.o