~kris/dots

sdeploy

sdeploy/.gitignore -rw-r--r-- 57 bytes
782c7eac — Kris Yotam chore: sync local state after restore (push updates, no pull) a month ago 
                                                                                
1
2
3
4
5
6
7

*.aux
*.log
*.out
*.toc
*.fls
*.fdb_latexmk
*.synctex.gz