diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-05-21 01:02:57 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-21 08:02:57 +0000 |
commit | d6372cf53c77d205f796d40603f36228844b6de6 (patch) | |
tree | 361c78ccde362a7ee28c2736f8550f9b3c3d5a39 /docs | |
parent | 84fdf87a74a7104a0eccaf7a817597b086c3afa9 (diff) |
api docs: Update copyright. (#6596)
Diffstat (limited to 'docs')
-rw-r--r-- | docs/conf.py.in | 4 |
1 files 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 --------------------------------------------------- |