Revision ddff00315d9498d727195f06969116dd2cbfdab4 authored by David Carlisle on 01 November 2019, 22:09:48 UTC, committed by David Carlisle on 01 November 2019, 22:09:48 UTC
1 parent e1a5e81
.gitignore
*.*#
*.*~
*.aux
*.glo
*.log
*.out
*.synctex.gz
*.toc
*.zip
base/*/*.pdf
build/
install-new-tlg-versions.sh
replace-string.sh
required/*/*.pdf
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...