projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1d4b79e) | patch
Use proper filename in -o subs documentation (#8030)
authorGereon Kremer <gkremer@stanford.edu>
Wed, 2 Feb 2022 21:47:15 +0000 (13:47 -0800)
committerGitHub <noreply@github.com>
Wed, 2 Feb 2022 21:47:15 +0000 (21:47 +0000)
commitd1545ff42c2c609e567c85f5daa5e518cd87d289
tree67f8f7b67d94f8ba6d508f219f30e3c8b77cdc2ftree
parent1d4b79e59f318ffa50d816411d649420c10a2013commit | diff
Use proper filename in -o subs documentation (#8030)

We somehow used the wrong filename in #7944.
src/options/base_options.toml diff | blob | history