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.
---
 Makefile.vofiles | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'Makefile.vofiles')

diff --git a/Makefile.vofiles b/Makefile.vofiles
index 04bc2cf105..25d7a63674 100644
--- a/Makefile.vofiles
+++ b/Makefile.vofiles
@@ -1,3 +1,12 @@
+##########################################################################
+##         #   The Coq Proof Assistant / The Coq Development Team       ##
+##  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          ##
+##         #     (see LICENSE file for the text of the license)         ##
+##########################################################################
 
 # This file calls [find] and as such is not suitable for inclusion in
 # the test suite Makefile, unlike Makefile.common.
-- 
cgit v1.2.3