summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorCamil Staps2018-06-10 11:43:36 +0200
committerCamil Staps2018-06-10 11:43:36 +0200
commit1b8460b5afc430e0ad7d5eb5d78fdab35dce7500 (patch)
tree4e26821b3126da08d8eb3a70baf8b3b84573b994 /.gitignore
parentMinor textual enhancements (diff)
Wellfounded induction was not neededHEADmaster
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions