diff --git a/.gitignore b/.gitignore index f716273ff9d7057c5bab9ca8ded3841d78851c3c..a796742f710aaa7968d6419e6e493ec150727470 100644 --- a/.gitignore +++ b/.gitignore @@ -2,5 +2,5 @@ /dist/ /dist-newstyle/ /.ghc.environment* -/.dir-locals.el +.dir-locals.el /bin/