From 3e24f64d9652bebe49838f244f1e1bfa2cc45f17 Mon Sep 17 00:00:00 2001 From: stuebinm Date: Sat, 4 Sep 2021 16:07:30 +0200 Subject: crate name: util → isabelle2unicode --- util/Cargo.toml | 10 ---------- 1 file changed, 10 deletions(-) delete mode 100644 util/Cargo.toml (limited to 'util/Cargo.toml') diff --git a/util/Cargo.toml b/util/Cargo.toml deleted file mode 100644 index 70d66bf..0000000 --- a/util/Cargo.toml +++ /dev/null @@ -1,10 +0,0 @@ -[package] -name = "util" -version = "0.1.0" -authors = ["stuebinm "] -edition = "2018" - -# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html - -[dependencies] -isabelle-unicode = { path = "../isabelle-unicode" } -- cgit v1.2.3