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.

---
 COPYRIGHT | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'COPYRIGHT')

diff --git a/COPYRIGHT b/COPYRIGHT
index a98eed3d12..006ce18f1d 100644
--- a/COPYRIGHT
+++ b/COPYRIGHT
@@ -1,6 +1,6 @@
                      The Coq proof assistant
 
-Copyright 1999-2011 The Coq development team, INRIA, CNRS, University
+Copyright 1999-2015 The Coq development team, INRIA, CNRS, University
 Paris Sud, University Paris 7, Ecole Polytechnique.
 
 This product includes also software developed by
-- 
cgit v1.2.3