projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c8d7db6) | patch
Clarifying documentation of `--static-binary` (#5844)
authoryoni206 <yoni206@users.noreply.github.com>
Thu, 4 Feb 2021 21:58:38 +0000 (13:58 -0800)
committerGitHub <noreply@github.com>
Thu, 4 Feb 2021 21:58:38 +0000 (15:58 -0600)
commitd89ff37c2dfbd91dd89169ad5dda06b5cc8f0a7b
treea04312dae5b16b785e7c8c6c8ab77e4c82606f64tree
parentc8d7db69e6b5274c21029f231a1d312518d658e7commit | diff
Clarifying documentation of `--static-binary` (#5844)

The documentation regarding --static-binary is improved.
INSTALL.md diff | blob | history
configure.sh diff | blob | history