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/ansi.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/sphinx/_static/ansi.css') diff --git a/doc/sphinx/_static/ansi.css b/doc/sphinx/_static/ansi.css index 26bd797709..b3b5341166 100644 --- a/doc/sphinx/_static/ansi.css +++ b/doc/sphinx/_static/ansi.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 */ /*