Add .gitignore
This commit is contained in:
parent
298af3fc23
commit
392cf5aa1d
|
@ -0,0 +1,4 @@
|
|||
# Real inputs
|
||||
**/input
|
||||
# OCaml build artifacts
|
||||
**/_build/**
|
Reference in New Issue