diff options
Diffstat (limited to 'users/grfn/owothia/.gitignore')
-rw-r--r-- | users/grfn/owothia/.gitignore | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/users/grfn/owothia/.gitignore b/users/grfn/owothia/.gitignore deleted file mode 100644 index 8e850e7a0af2..000000000000 --- a/users/grfn/owothia/.gitignore +++ /dev/null @@ -1,30 +0,0 @@ -dist -dist-* -build/ -cabal-dev -*.o -*.hi -*.hie -*.chi -*.chs.h -*.dyn_o -*.dyn_hi -.hpc -.hsenv -.cabal-sandbox/ -cabal.sandbox.config -*.prof -*.aux -*.hp -*.eventlog -.stack-work/ -cabal.project.local -cabal.project.local~ -.HTF/ -.ghc.environment.* - -# from nix-build -result - -# grr -*_flymake.hs |