.gitignore files

Signed-off-by: Kakadu <Kakadu@pm.me>
This commit is contained in:
Kakadu 2020-10-03 00:27:45 +03:00
parent 8f01e5eb5b
commit 64d49ccd01
5 changed files with 15 additions and 0 deletions

4
bench/.gitignore vendored Normal file
View file

@ -0,0 +1,4 @@
/bench.exe
/Pprint_gt.ml
/Pprint_default.ml