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.dev | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile.dev') diff --git a/Makefile.dev b/Makefile.dev index 6057696375..b1e142333a 100644 --- a/Makefile.dev +++ b/Makefile.dev @@ -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 ## ##