diff options
| author | Minijackson <minijackson@riseup.net> | 2023-01-20 15:55:55 +0100 |
|---|---|---|
| committer | Minijackson <minijackson@riseup.net> | 2023-01-20 15:55:55 +0100 |
| commit | e8f8e5aa2f4a2372452e77ffe1cf8a035ce8cf8a (patch) | |
| tree | 0414522d046914e3e79ea7bfd34ad146a39a8211 /Cargo.toml | |
| parent | f336c48d08e762c1c41c15d75c85fcac996f18ea (diff) | |
| download | diaphragm-e8f8e5aa2f4a2372452e77ffe1cf8a035ce8cf8a.tar.gz diaphragm-e8f8e5aa2f4a2372452e77ffe1cf8a035ce8cf8a.zip | |
Cargo: disable Rust example for now
Diffstat (limited to 'Cargo.toml')
| -rw-r--r-- | Cargo.toml | 2 |
1 files changed, 1 insertions, 1 deletions
| @@ -6,5 +6,5 @@ members = [ | |||
| 6 | "lua-bindings", | 6 | "lua-bindings", |
| 7 | "z3-solver", | 7 | "z3-solver", |
| 8 | 8 | ||
| 9 | "examples/lib-dfscq-log", | 9 | # "examples/lib-dfscq-log", |
| 10 | ] | 10 | ] |