From a99776e10e0b2198d2b811ad82631111fb450f8a Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Wed, 18 Mar 2020 12:14:26 +0100
Subject: Update headers in the whole code base.

Add headers to a few files which were missing them.
---
 doc/sphinx/_static/notations.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'doc/sphinx/_static/notations.css')

diff --git a/doc/sphinx/_static/notations.css b/doc/sphinx/_static/notations.css
index 3806ba6ee6..733a73bd21 100644
--- a/doc/sphinx/_static/notations.css
+++ b/doc/sphinx/_static/notations.css
@@ -1,7 +1,7 @@
 /************************************************************************/
 /*         *   The Coq Proof Assistant / The Coq Development Team       */
-/*  v      *   INRIA, CNRS and contributors - Copyright 1999-2019       */
-/* <O___,, *       (see CREDITS file for the list of authors)           */
+/*  v      *         Copyright INRIA, CNRS and contributors             */
+/* <O___,, * (see version control and CREDITS file for authors & dates) */
 /*   \VV/  **************************************************************/
 /*    //   *    This file is distributed under the terms of the         */
 /*         *     GNU Lesser General Public License Version 2.1          */
-- 
cgit v1.2.3