diff --git a/.gitignore b/.gitignore index 779f80327..a502b8ec3 100644 --- a/.gitignore +++ b/.gitignore @@ -7,5 +7,6 @@ cabal-dev *.aes *.elmi *.elmo +data */ElmFiles/* .DS_Store