1 files changed, 0 insertions, 10 deletions
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 <stuebinm@disroot.org>"]
-edition = "2018"
-
-# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
-
-[dependencies]
-isabelle-unicode = { path = "../isabelle-unicode" }