diff options
| author | Minijackson <minijackson@riseup.net> | 2022-12-22 12:19:59 +0100 |
|---|---|---|
| committer | Minijackson <minijackson@riseup.net> | 2022-12-22 12:19:59 +0100 |
| commit | 92a02c34628343153b33602eae00cef46e28d191 (patch) | |
| tree | 8622ec528d24e456be22d984d93aa9bcafc97399 /Cargo.toml | |
| download | diaphragm-92a02c34628343153b33602eae00cef46e28d191.tar.gz diaphragm-92a02c34628343153b33602eae00cef46e28d191.zip | |
WIP
Diffstat (limited to 'Cargo.toml')
| -rw-r--r-- | Cargo.toml | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/Cargo.toml b/Cargo.toml new file mode 100644 index 0000000..91eae68 --- /dev/null +++ b/Cargo.toml | |||
| @@ -0,0 +1,10 @@ | |||
| 1 | [workspace] | ||
| 2 | members = [ | ||
| 3 | "cairo-renderer", | ||
| 4 | # "cli", | ||
| 5 | "core", | ||
| 6 | "lua-bindings", | ||
| 7 | "z3-solver", | ||
| 8 | |||
| 9 | "examples/lib-dfscq-log", | ||
| 10 | ] | ||