aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaxime Dénès2016-07-07 08:32:36 +0200
committerMaxime Dénès2016-07-08 10:45:35 +0200
commit2dc63a6f49ea30e175ead4603c93cda4b2bb889b (patch)
tree9de4dff50c2c53ad971c8cea62c4346da3cee144
parentfea0ea5a210bc56386513b21c305bcaa9ce6f559 (diff)
Update COPYRIGHT.
-rw-r--r--COPYRIGHT2
1 files changed, 1 insertions, 1 deletions
diff --git a/COPYRIGHT b/COPYRIGHT
index 006ce18f1d..301bc7a393 100644
--- a/COPYRIGHT
+++ b/COPYRIGHT
@@ -1,6 +1,6 @@
The Coq proof assistant
-Copyright 1999-2015 The Coq development team, INRIA, CNRS, University
+Copyright 1999-2016 The Coq development team, INRIA, CNRS, University
Paris Sud, University Paris 7, Ecole Polytechnique.
This product includes also software developed by