From c790672cc244ac4caba1bda3572829a6c6862891 Mon Sep 17 00:00:00 2001 From: Ben Sima Date: Sun, 27 Oct 2019 09:48:52 -0700 Subject: move everything to namespace directories --- .gitignore | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index cfa2ad1..e8e7a6f 100644 --- a/.gitignore +++ b/.gitignore @@ -2,9 +2,7 @@ *.exe *.hi result* -dist -dist-newstyle -bild/* +_bild TAGS .tex .pdf -- cgit v1.2.3