diff --git a/.gitignore b/.gitignore index 9a70a80..da14214 100644 --- a/.gitignore +++ b/.gitignore @@ -2,3 +2,5 @@ _opam _build *.json *.exe +perf.* +*.fxt