diff options
| author | Ben Sima <ben@bsima.me> | 2020-07-26 10:19:54 -0700 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2020-07-26 10:19:54 -0700 |
| commit | 2351224340999dc21997a19db094f644c240318b (patch) | |
| tree | 907939df4e26fa040388bd17299b9aa34b64d58b /.gitignore | |
| parent | a3b0d69cc23a5f53cd48d82655b5247c1884eb51 (diff) | |
dev: move _{bild,keep,skey} to _/{bild,keep,skey}
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 4 |
1 files changed, 1 insertions, 3 deletions
@@ -6,12 +6,10 @@ *.exe *.hi result* -_bild +_ TAGS tags .tex .pdf -_keep -_skey *~ dist* |