aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
blob: b8021cdbe12969d989f1533c413282489dab0ec8 (plain)
1
*.thy~