summary refs log tree commit diff
diff options
context:
space:
mode:
-rw-r--r--minic/.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/minic/.gitignore b/minic/.gitignore
index 6b36f40..679c411 100644
--- a/minic/.gitignore
+++ b/minic/.gitignore
@@ -1,3 +1,4 @@
 minic
 yacc
 y.*
+*.out