From bfc5a469f4be928d1f01ac2811719ef6aae0e338 Mon Sep 17 00:00:00 2001 From: Théo Zimmermann Date: Thu, 6 Jun 2019 11:22:08 +0200 Subject: Update c-style headers to new year. --- doc/sphinx/_static/notations.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/sphinx/_static/notations.css') diff --git a/doc/sphinx/_static/notations.css b/doc/sphinx/_static/notations.css index 8322ab0137..4a5fa0b328 100644 --- a/doc/sphinx/_static/notations.css +++ b/doc/sphinx/_static/notations.css @@ -1,6 +1,6 @@ /************************************************************************/ /* * The Coq Proof Assistant / The Coq Development Team */ -/* v * INRIA, CNRS and contributors - Copyright 1999-2018 */ +/* v * INRIA, CNRS and contributors - Copyright 1999-2019 */ /*