aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.gitignore2
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 1060640..fab9ee5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,6 +5,8 @@ judge/_build/*
*.native
*.byte
+*.o
+
morpion_rec/*/player
dummy_test