diff options
| author | Ben Sima <ben@bsima.me> | 2019-10-27 09:48:52 -0700 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2019-10-27 12:14:40 -0700 |
| commit | c790672cc244ac4caba1bda3572829a6c6862891 (patch) | |
| tree | 2706bb8044f7b14840c5f90f215b79b433e81045 /.gitignore | |
| parent | 44df4ba39f65c3afd84bee6b03f47d9b061e9038 (diff) | |
move everything to namespace directories
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 4 |
1 files changed, 1 insertions, 3 deletions
@@ -2,9 +2,7 @@ *.exe *.hi result* -dist -dist-newstyle -bild/* +_bild TAGS .tex .pdf |