m-chrzan.xyz
aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorMarcin Chrzanowski <mc370754@students.mimuw.edu.pl>2021-11-26 17:03:13 +0100
committerMarcin Chrzanowski <mc370754@students.mimuw.edu.pl>2021-11-26 17:03:13 +0100
commit8473425e09f546fd9b3cbbed412665bd3a10b866 (patch)
tree61638ebc5725e969ae255164418cee7d83138ee4 /.gitignore
parentc43e27dfc3418da034eb0601cbc557d61c4083a2 (diff)
Add claim theorem type
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions