summaryrefslogtreecommitdiff
path: root/.gitignore
blob: c4cd0b948dd54872fc233eedf935fc252f46f7fc (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
# python stuff
__pycache__/
prolog/parsetab.py

# latex stuff
*.aux
*.log
*.pdf

# data stuff
/data*
*.pickle
*.tab
*.ods