From 435419fe26d8f58fc2f0669414784e0cec885ed9 Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Thu, 27 Jan 2022 14:24:28 -0800 Subject: [PATCH] Update AUTHORS und copyright of docs configuration. (#7994) --- AUTHORS | 2 +- docs/conf.py.in | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/AUTHORS b/AUTHORS index 8726b6e2d..203286daf 100644 --- a/AUTHORS +++ b/AUTHORS @@ -10,7 +10,6 @@ Current: Haniel Barbosa, The University of Iowa, Universidade Federal de Minas Gerais Clark Barrett, New York University, Google, Stanford University Martin Brain, University of Oxford - Ahmed Irfan, Stanford University Gereon Kremer, Stanford University Makai Mann, Stanford University Abdalrhman Mohamed, The University of Iowa @@ -30,6 +29,7 @@ Alumni: Christopher Conway, New York University, Google Morgan Deters, New York University Liana Hadarean, New York University, Mentor Graphics Corporation + Ahmed Irfan, Stanford University Dejan Jovanovic, New York University, SRI International Guy Katz, New York University, Stanford University Tim King, New York University, Universite Joseph Fourier, Google diff --git a/docs/conf.py.in b/docs/conf.py.in index 28c64d555..e8dc26676 100644 --- a/docs/conf.py.in +++ b/docs/conf.py.in @@ -30,7 +30,7 @@ if("${BUILD_BINDINGS_JAVA}" == "ON"): # -- Project information ----------------------------------------------------- project = 'cvc5' -copyright = '2021, the authors of cvc5' +copyright = '2022, the authors of cvc5' author = 'The authors of cvc5' -- 2.30.2