diff options
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 13 |
1 files changed, 8 insertions, 5 deletions
@@ -1,10 +1,13 @@ -a.out -checker -push_swap -!src/checker -!src/push_swap *.o *.ghc *.dSYM + +a.out +tags benchmark.json result.log + +checker +push_swap +!src/checker +!src/push_swap |
