From 86f5c0cbfa64c5d0949365369529c5b607878ef8 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Wed, 20 Jan 2016 17:25:10 +0100
Subject: Update copyright headers.

---
 doc/common/styles/html/coqremote/cover.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/common/styles/html/coqremote')

diff --git a/doc/common/styles/html/coqremote/cover.html b/doc/common/styles/html/coqremote/cover.html
index db82717094..6ec4dc1af0 100644
--- a/doc/common/styles/html/coqremote/cover.html
+++ b/doc/common/styles/html/coqremote/cover.html
@@ -60,7 +60,7 @@
   <li>V8.2 © INRIA 2008-2011</li>
   <li>V8.3 © INRIA 2010-2011</li>
   <li>V8.4 © INRIA 2012-2014</li>
-  <li>V8.5 © INRIA 2015</li>
+  <li>V8.5 © INRIA 2015-2016</li>
 </ul>
 
 <p style="text-indent:0pt">This research was partly supported by IST
-- 
cgit v1.2.3