From ffd9b12fe9e279fa896fc7e89d4f4d26c260ddfc Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Thu, 6 Jun 2019 11:22:09 +0200
Subject: Update copyright years outside of headers.

These were found with the following command:
$ git grep "1999-" | grep -v "2019"
---
 ide/MacOS/Info.plist.template | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ide/MacOS')

diff --git a/ide/MacOS/Info.plist.template b/ide/MacOS/Info.plist.template
index fbe7773dd4..e4fb0e5980 100644
--- a/ide/MacOS/Info.plist.template
+++ b/ide/MacOS/Info.plist.template
@@ -66,7 +66,7 @@
 	<key>CFBundleGetInfoString</key>
 	<string>Coq_vVERSION</string>
 	<key>NSHumanReadableCopyright</key>
-	<string>Copyright 1999-2016, The Coq Development Team INRIA - CNRS - LIX - LRI - PPS</string>
+	<string>Copyright 1999-2019, Inria, CNRS and contributors</string>
 	<key>CFBundleHelpBookFolder</key>
 	<string>share/doc/coq/html/</string>
 	<key>CFAppleHelpAnchor</key>
-- 
cgit v1.2.3