diff options
Diffstat (limited to 'users/grfn/xanthous/.gitignore')
-rw-r--r-- | users/grfn/xanthous/.gitignore | 37 |
1 files changed, 0 insertions, 37 deletions
diff --git a/users/grfn/xanthous/.gitignore b/users/grfn/xanthous/.gitignore deleted file mode 100644 index 2ad31c01d443..000000000000 --- a/users/grfn/xanthous/.gitignore +++ /dev/null @@ -1,37 +0,0 @@ -dist -dist-* -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~ -cabal.project.local~* -.HTF/ -.ghc.environment.* - - -# from nix-build -result - -# grr -*_flymake.hs - -# app-specific -debug.log -data -*.save -.tasty-rerun-log |