From ce952560bfc29797c753f9b2bd7c8317c121bb4d Mon Sep 17 00:00:00 2001
From: Zoltan Somogyi <zoltan.somogyi@runbox.com>
Date: Mon, 14 Mar 2016 19:23:48 +1100
Subject: [PATCH] Add a .gitignore file for grade_lib.

---
 grade_lib/.gitignore | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)
 create mode 100644 grade_lib/.gitignore

diff --git a/grade_lib/.gitignore b/grade_lib/.gitignore
new file mode 100644
index 000000000..7ea90c391
--- /dev/null
+++ b/grade_lib/.gitignore
@@ -0,0 +1,26 @@
+*.c
+*.d
+*.h
+*.obj
+*.exe
+*.prof
+*.err
+*.int
+*.int0
+*.int2
+*.int3
+*.date
+*.date0
+*.date3
+*.used
+*.pdb
+*.*_date
+*.mh
+*.mih
+Mercury.modules
+*.o
+*.opt
+*.optdate
+*.trans_opt
+*.trans_opt_date
+tags