Merge branch 'master' of https://github.com/dlarsson/servant-docs

2015-01-15 11:05:02 +01:00 · 2015-01-15 11:05:02 +01:00 · d603431498
commit d603431498
parent c4f7735de8 d81704abc7
1 changed files with 16 additions and 2 deletions
--- a/.gitignore
+++ b/.gitignore
@ -1,3 +1,17 @@
-.cabal-sandbox
-cabal.sandbox.config
 dist
+cabal-dev
+*.o
+*.hi
+*.chi
+*.chs.h
+*.dyn_o
+*.dyn_hi
+.virtualenv
+.hpc
+.hsenv
+.cabal-sandbox/
+cabal.sandbox.config
+cabal.config
+*.prof
+*.aux
+*.hp