From 2ae01e839df66f13ff1d3bc974cea50a33126c59 Mon Sep 17 00:00:00 2001 From: Maxime Dénès Date: Tue, 13 Jan 2015 12:28:00 +0100 Subject: Refresh some copyright headers. --- doc/common/styles/html/simple/cover.html | 1 + 1 file changed, 1 insertion(+) (limited to 'doc/common/styles/html/simple') diff --git a/doc/common/styles/html/simple/cover.html b/doc/common/styles/html/simple/cover.html index d7d842b9a4..c2ac2c19d8 100644 --- a/doc/common/styles/html/simple/cover.html +++ b/doc/common/styles/html/simple/cover.html @@ -38,6 +38,7 @@
  • V8.2 © INRIA 2008-2011
  • V8.3 © INRIA 2010-2011
  • V8.4 © INRIA 2012-2014
  • +
  • V8.5 © INRIA 2015
  • This research was partly supported by IST -- cgit v1.2.3