aboutsummaryrefslogtreecommitdiff
path: root/ex/HoTT book
diff options
context:
space:
mode:
authorJosh Chen2018-08-21 14:38:28 +0200
committerGitHub2018-08-21 14:38:28 +0200
commit5193d4dd1ebef7fa000489710ff138ab98876c52 (patch)
tree4638d61e3332636918211a26bc0d526fa65c0cac /ex/HoTT book
parent6402b72747c153798b5a9ef5175038e5c1409be5 (diff)
Rename LICENSE.md to LICENSE
Diffstat (limited to 'ex/HoTT book')
0 files changed, 0 insertions, 0 deletions