From ef81889c1eccb08acc27d47c9df652541134e3db Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Thu, 6 Mar 2014 18:17:15 +1100 Subject: Getting remote and local repos sync'd --- .gitignore | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 .gitignore (limited to '.gitignore') 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 -- cgit