summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--Cargo.toml2
-rw-r--r--isabelle2unicode/Cargo.toml (renamed from util/Cargo.toml)2
-rw-r--r--isabelle2unicode/src/main.rs (renamed from util/src/main.rs)0
3 files changed, 2 insertions, 2 deletions
diff --git a/Cargo.toml b/Cargo.toml
index 26188a3..fbb6fcd 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -2,5 +2,5 @@
members = [
"symbolmacro",
"isabelle-unicode",
- "util"
+ "isabelle2unicode"
]
diff --git a/util/Cargo.toml b/isabelle2unicode/Cargo.toml
index 70d66bf..53a5aa4 100644
--- a/util/Cargo.toml
+++ b/isabelle2unicode/Cargo.toml
@@ -1,5 +1,5 @@
[package]
-name = "util"
+name = "isabelle2unicode"
version = "0.1.0"
authors = ["stuebinm <stuebinm@disroot.org>"]
edition = "2018"
diff --git a/util/src/main.rs b/isabelle2unicode/src/main.rs
index 4670b38..4670b38 100644
--- a/util/src/main.rs
+++ b/isabelle2unicode/src/main.rs