projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7583e03) | patch
Renaming '--bsd' to '--no-gpl' (#3609)
authorAndrew V. Jones <andrew.jones@vector.com>
Mon, 3 Feb 2020 07:16:20 +0000 (07:16 +0000)
committerGitHub <noreply@github.com>
Mon, 3 Feb 2020 07:16:20 +0000 (23:16 -0800)
commitbdb685d928d1f4bb570acdc6c8427217a6b6cbe3
treec4e1fa03c402e88c860d281daca0358748ff8f6ctree
parent7583e034bbd991877b634d50249bbccfd9e3c763commit | diff
Renaming '--bsd' to '--no-gpl' (#3609)

Signed-off-by: Andrew V. Jones <andrew.jones@vector.com>
COPYING diff | blob | history
contrib/cut-release diff | blob | history
src/base/configuration.cpp diff | blob | history