aboutsummaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
authortslil <>2021-09-30 22:01:15 -0400
committertslil <>2021-09-30 22:01:15 -0400
commit87d0e4e1c618ce154b60e1713ea7d007ac5bcba3 (patch)
tree939c4e20144ca3f75cca5325499ac4533fb77cb4 /README.md
parent2e35b0033b994c6360ceb48161b6da3674934a73 (diff)
Updated to match UniMath namesHEADmain
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions