summaryrefslogtreecommitdiff
path: root/isabelle2unicode/Cargo.toml (follow)
Commit message (Expand)AuthorAgeFilesLines
* crate name: util → isabelle2unicodestuebinm2021-09-041-0/+10