From c1af40532cc8cdaebdba6f76f52108e4d3ef8c8f Mon Sep 17 00:00:00 2001 From: "John J. Camilleri" Date: Fri, 30 Apr 2021 13:06:50 +0200 Subject: [PATCH] Add some stuff to gitignore --- .gitignore | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/.gitignore b/.gitignore index d8ce5494b..1ac11b371 100644 --- a/.gitignore +++ b/.gitignore @@ -49,7 +49,7 @@ src/runtime/java/.libs/ src/runtime/python/build/ .cabal-sandbox cabal.sandbox.config -.stack-work +.stack-work* DATA_DIR stack*.yaml.lock @@ -70,3 +70,10 @@ doc/icfp-2012.html download/*.html gf-book/index.html src/www/gf-web-api.html + +DEBUG/ +PROF/ +*.aux +*.hp +*.prof +*.ps