aboutsummaryrefslogtreecommitdiff
path: root/ide/MacOS
diff options
context:
space:
mode:
authorPierre Boutillier2015-02-03 23:12:56 +0100
committerPierre Boutillier2015-02-13 18:33:20 +0100
commit997230709aed2b1d2f57f9ac8829991fa01e9b5c (patch)
tree1860eeee3e07e74d4487d362ec389da8ac8db853 /ide/MacOS
parentbb3c3713929ff8647004c18faaebcc311335cfa9 (diff)
Fixup version & copyright for MacOS bundle
Diffstat (limited to 'ide/MacOS')
-rw-r--r--ide/MacOS/Info.plist.template2
1 files changed, 1 insertions, 1 deletions
diff --git a/ide/MacOS/Info.plist.template b/ide/MacOS/Info.plist.template
index fd80c83969..e224e81204 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-2014, The Coq Development Team INRIA - CNRS - LIX - LRI - PPS</string>
+ <string>Copyright 1999-2015, The Coq Development Team INRIA - CNRS - LIX - LRI - PPS</string>
<key>CFBundleHelpBookFolder</key>
<string>share/doc/coq/html/</string>
<key>CFAppleHelpAnchor</key>