diff options
| author | Josh Chen | 2018-08-18 11:57:40 +0200 |
|---|---|---|
| committer | GitHub | 2018-08-18 11:57:40 +0200 |
| commit | 931919b3773552d05f6688f3065cc2e606c0b9de (patch) | |
| tree | 217e0f97bc4f946cbb4185bc370b33bed002003b /ex/HoTT book | |
| parent | b4a87cc14acaea8a06ee38032c7f4cd94477ca97 (diff) | |
Update license
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions