summaryrefslogtreecommitdiff
path: root/isabelle-unicode/Cargo.toml
diff options
context:
space:
mode:
authorstuebinm2021-09-04 17:04:36 +0200
committerstuebinm2021-09-04 17:04:36 +0200
commit2eebd7b354432ae564757a93c7b8c44150b58010 (patch)
tree059c997d8a3b74c686a7ca86372bbd7dd27ce530 /isabelle-unicode/Cargo.toml
parent3d7cd5018144c4c7b3a95ae7a1953445f6b25fa7 (diff)
update readme
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions