aboutsummaryrefslogtreecommitdiff
path: root/LICENSE
diff options
context:
space:
mode:
authorJosh Chen2018-09-12 06:34:03 +0200
committerJosh Chen2018-09-12 06:34:03 +0200
commit9cc9be2c6a86a6e31049c1f3512fa0b9806e03e9 (patch)
tree7e80bfea1bbf21eb3c50ef138209718347a67aba /LICENSE
parenta1afde729f1d9b2f930696b117cfaec827eaa178 (diff)
parent563510a1940024779c3e1f73df8c1b708eb0d949 (diff)
Merge branch 'master' of github.com:jaycech3n/Isabelle-HoTT
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions