diff --git a/.gitignore b/.gitignore index 7c9d772a8..344feff64 100644 --- a/.gitignore +++ b/.gitignore @@ -3,6 +3,8 @@ *.merlin cache/* Version.ml +/result +/result-* /_opam/ /*.pp.ligo /*.pp.mligo