diff options
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 11 |
1 files changed, 7 insertions, 4 deletions
@@ -17,13 +17,15 @@ # without any warranty. *~ -*.txt +*\# *.aux *.log -*.pdf *.out -*.zip +*.pdf +*.sif *.swp +*.txt +*.zip .nfs* mmap_* *.tar.gz @@ -31,6 +33,7 @@ mmap_* .tex build +run.sh .local .build Makefile @@ -39,7 +42,7 @@ tex/tikz .DS_Store .texlive* LOCAL.conf -docker-run +timing.txt tex/pipeline LOCAL_tmp.mk LOCAL_old.mk |