*.olean
/_target
/leanpkg.path
/scratch/*
/notes/*
/html/*
/src/game/LaTeX/*.aux
/src/game/LaTeX/*.log
/src/game/LaTeX/*.pdf
/src/game/LaTeX/*.tex~

*~
