summaryrefslogtreecommitdiff
path: root/src/run.rs
diff options
context:
space:
mode:
authormo8it <mo8it@proton.me>2024-06-02 00:11:41 +0200
committermo8it <mo8it@proton.me>2024-06-02 00:11:41 +0200
commit08ac11ff2250190a47a74a767c2efa3a71ce1e73 (patch)
treef1a22e71f53fc60fa99a83a5c5406e34825b2b7f /src/run.rs
parent6ae4a979f48301d259666129d2138291cd21246a (diff)
Add --require-solutions option to `dev check`
Diffstat (limited to 'src/run.rs')
0 files changed, 0 insertions, 0 deletions