From d6372cf53c77d205f796d40603f36228844b6de6 Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Fri, 21 May 2021 01:02:57 -0700 Subject: [PATCH] api docs: Update copyright. (#6596) --- docs/conf.py.in | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/conf.py.in b/docs/conf.py.in index 07a4d8a76..9dc5255bd 100644 --- a/docs/conf.py.in +++ b/docs/conf.py.in @@ -27,8 +27,8 @@ if("${BUILD_BINDINGS_JAVA}" == "ON"): # -- Project information ----------------------------------------------------- project = 'cvc5' -copyright = '2021, The Authors of cvc5' -author = 'The Authors of cvc5' +copyright = '2021, the authors of cvc5' +author = 'The authors of cvc5' # -- General configuration --------------------------------------------------- -- 2.30.2