diff options
| author | Maxime Dénès | 2016-01-20 17:25:10 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2016-01-20 17:33:09 +0100 |
| commit | 86f5c0cbfa64c5d0949365369529c5b607878ef8 (patch) | |
| tree | fadba5223c85fda1c0586b1ebed33c84420cff61 /ide/MacOS | |
| parent | af5eafaee218935c35f0bd906727d2d2370bd136 (diff) | |
Update copyright headers.
Diffstat (limited to 'ide/MacOS')
| -rw-r--r-- | ide/MacOS/Info.plist.template | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ide/MacOS/Info.plist.template b/ide/MacOS/Info.plist.template index e224e81204..fbe7773dd4 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-2015, The Coq Development Team INRIA - CNRS - LIX - LRI - PPS</string> + <string>Copyright 1999-2016, The Coq Development Team INRIA - CNRS - LIX - LRI - PPS</string> <key>CFBundleHelpBookFolder</key> <string>share/doc/coq/html/</string> <key>CFAppleHelpAnchor</key> |