summary refs log tree commit diff stats
path: root/.gitignore
blob: e04f8984a99b8cd5b5f598afbeadd36787f962f4 (plain) (blame)
1
2
3
4
5
6
7
8
9
*/docs
*/docs/**
*/all.typ
java/build/**
.vscode/*
*.class
*.pdf
*.pyc*
*~