summary refs log tree commit diff
path: root/minic/.gitignore
diff options
context:
space:
mode:
authorQuentin Carbonneaux <quentin.carbonneaux@yale.edu>2015-10-12 22:01:31 -0400
committerQuentin Carbonneaux <quentin.carbonneaux@yale.edu>2015-10-12 22:01:31 -0400
commite2fca0812b8ad880b8908dfe025ffe7d79f008cb (patch)
treecf7f835655e07d1220b67053367cc9e18fefe982 /minic/.gitignore
parent114f0eec99341499dbb9cdd1796428540ff230d5 (diff)
downloadroux-e2fca0812b8ad880b8908dfe025ffe7d79f008cb.tar.gz
ignore output of mcc
Diffstat (limited to 'minic/.gitignore')
-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