summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authortomsmeding <tom.smeding@gmail.com>2019-02-16 22:01:45 +0100
committertomsmeding <tom.smeding@gmail.com>2019-02-16 22:01:45 +0100
commit233cbed8c9e1d08cc4abac060452b2cf643b4c7f (patch)
treee3411015a7ccc0e7b6f078b23c2ea221088d4d32 /.gitignore
parent1d87c5bd9001483edf1863b7f243e6b894478a09 (diff)
Compile all AI's in makefile
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 6ab5a49..76d63a9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,5 @@
aimc
airand
+aimm
.objs/
competition/