diff --git a/.gitignore b/.gitignore index 420d0cc..e5f1de5 100644 --- a/.gitignore +++ b/.gitignore @@ -13,4 +13,7 @@ *.cm* # Dune -_build/ \ No newline at end of file +_build/ + +# Camltac +.camltac \ No newline at end of file