*/docs
*/docs/**
*/all.typ
java/build/**
.vscode/*
*.class
*.pdf
*.pyc*
*~