diff options
| author | Marcin Chrzanowski <mc370754@students.mimuw.edu.pl> | 2021-11-25 16:33:45 +0100 |
|---|---|---|
| committer | Marcin Chrzanowski <mc370754@students.mimuw.edu.pl> | 2021-11-25 16:33:45 +0100 |
| commit | 2c02cc8c182bd48c8321977383de75e6c34e352a (patch) | |
| tree | 12ce1bde40ebe9424aa958608a6d6b5b877cbe5f /.gitignore | |
| parent | 6092b2b0b455ed46e58dad46d70ed7b1873c35ea (diff) | |
Organize with theorems
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions