diff options
| author | stuebinm | 2021-06-23 18:20:26 +0200 |
|---|---|---|
| committer | stuebinm | 2021-06-23 18:20:26 +0200 |
| commit | 4513c6626a34f737482c102825be7c2ca1b43eff (patch) | |
| tree | 9accaa069e11ef9aabf45a3bdcd2dae0ca498833 /Cargo.toml | |
initial commit
Diffstat (limited to '')
| -rw-r--r-- | Cargo.toml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Cargo.toml b/Cargo.toml new file mode 100644 index 0000000..4e1b615 --- /dev/null +++ b/Cargo.toml @@ -0,0 +1,2 @@ +[workspace] +members = ["isabelle-dump", "symbolmacro"] |