diff options
Diffstat (limited to 'minic')
| -rw-r--r-- | minic/.gitignore | 1 |
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 |