From 629fbc743f8b5e7623a6834f19885b2e379cb782 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>
Date: Tue, 27 Feb 2018 17:02:31 +0100
Subject: Update headers following #6543.

---
 Makefile.ci | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'Makefile.ci')

diff --git a/Makefile.ci b/Makefile.ci
index 4e92264d6..3c26bf964 100644
--- a/Makefile.ci
+++ b/Makefile.ci
@@ -1,3 +1,13 @@
+##########################################################################
+##         #   The Coq Proof Assistant / The Coq Development Team       ##
+##  v      #   INRIA, CNRS and contributors - Copyright 1999-2018       ##
+## <O___,, #       (see CREDITS file for the list of authors)           ##
+##   \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)         ##
+##########################################################################
+
 CI_TARGETS=ci-bignums \
     ci-color \
     ci-compcert \
-- 
cgit v1.2.3