projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 613ecb8) | patch
Fix years in COPYING. (#6248)
authorAina Niemetz <aina.niemetz@gmail.com>
Wed, 31 Mar 2021 18:50:34 +0000 (11:50 -0700)
committerGitHub <noreply@github.com>
Wed, 31 Mar 2021 18:50:34 +0000 (15:50 -0300)
commit529fdabb892be7e28b3fb0c51e604332de04790c
treefdde9c75a243aa7fef51475f7121b813120e8f13tree
parent613ecb885e64a2cb37ba82f1783f85afe8afe66ccommit | diff
Fix years in COPYING. (#6248)
COPYING diff | blob | history