diff options
| author | Josh Chen | 2018-08-16 19:49:39 +0200 |
|---|---|---|
| committer | Josh Chen | 2018-08-16 19:49:39 +0200 |
| commit | a8e645e3a8d6e61bb0353ae6ac430a53811b0d58 (patch) | |
| tree | 24e87c2ce9dda1bd1a84309345d599884fa539e1 /ex/HoTT book | |
| parent | 096ce05cb57c101e13d308b5df7a7af2a0060bf2 (diff) | |
second test
Diffstat (limited to 'ex/HoTT book')
0 files changed, 0 insertions, 0 deletions