diff options
Diffstat (limited to '')
-rw-r--r-- | isabelle-dump/Cargo.toml | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/isabelle-dump/Cargo.toml b/isabelle-dump/Cargo.toml deleted file mode 100644 index 924737f..0000000 --- a/isabelle-dump/Cargo.toml +++ /dev/null @@ -1,17 +0,0 @@ -[package] -name = "isabelle-dump" -version = "0.1.0" -authors = ["stuebinm <stuebinm@disroot.org>"] -edition = "2018" - - -[build-dependencies] -cfgrammar = "0.10" -lrlex = "0.10" -lrpar = "0.10" - -[dependencies] -cfgrammar = "0.10" -lrlex = "0.10" -lrpar = "0.10" -symbolmacro = { path = "../symbolmacro", version = "0.1" } |