diff --git a/.gitignore b/.gitignore index acef16825ced37ad0b04205fac906e372bdba4dd..44761d9947bd5efa692f29dfdb44216699f3fd27 100644 --- a/.gitignore +++ b/.gitignore @@ -15,4 +15,5 @@ Makefile /*.c /*.lus /*.lusic -_opam \ No newline at end of file +_opam +*_build \ No newline at end of file