From 7521031c01976b045f81b6123f9ee9be77122a55 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Thu, 6 Jun 2019 11:22:08 +0200
Subject: Update py-style headers to new year.

---
 Makefile.ide | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile.ide')

diff --git a/Makefile.ide b/Makefile.ide
index 89c1f246db..cb026cdf43 100644
--- a/Makefile.ide
+++ b/Makefile.ide
@@ -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       ##
 ## <O___,, #       (see CREDITS file for the list of authors)           ##
 ##   \VV/  ###############################################################
 ##    //   #    This file is distributed under the terms of the         ##
-- 
cgit v1.2.3