summaryrefslogtreecommitdiff
path: root/cmake/ConfigDebug.cmake
diff options
context:
space:
mode:
authorAina Niemetz <aina.niemetz@gmail.com>2021-03-08 23:27:03 -0800
committerGitHub <noreply@github.com>2021-03-09 07:27:03 +0000
commitb302cb1f92aae1c0954c86065469e5c2b7206e74 (patch)
treef2b4cad1effdfe8041f00f23b6fe255b0c4004bb /cmake/ConfigDebug.cmake
parent86ce1c18f8ea7a397a8b12405a196b126e82b648 (diff)
Update copyright headers to 2021. (#6081)
Diffstat (limited to 'cmake/ConfigDebug.cmake')
-rw-r--r--cmake/ConfigDebug.cmake2
1 files changed, 1 insertions, 1 deletions
diff --git a/cmake/ConfigDebug.cmake b/cmake/ConfigDebug.cmake
index 4547232dd..723ed9236 100644
--- a/cmake/ConfigDebug.cmake
+++ b/cmake/ConfigDebug.cmake
@@ -3,7 +3,7 @@
## Top contributors (to current version):
## Aina Niemetz
## This file is part of the CVC4 project.
-## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
+## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
## in the top-level source directory and their institutional affiliations.
## All rights reserved. See the file COPYING in the top-level source
## directory for licensing information.
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback