diff --git a/.gitignore b/.gitignore index 8b3f1ff..9650c56 100644 --- a/.gitignore +++ b/.gitignore @@ -29,3 +29,4 @@ bin *.hi *.cmi *.cmx +**/bak