From 3e0334dd48b5d0b03046d0aff1a82867dc98d656 Mon Sep 17 00:00:00 2001 From: Pierre-Marie Pédrot Date: Tue, 4 Jul 2017 14:19:44 +0200 Subject: Bump year in headers. --- theories/Unicode/Utf8.v | 2 +- theories/Unicode/Utf8_core.v | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'theories/Unicode') diff --git a/theories/Unicode/Utf8.v b/theories/Unicode/Utf8.v index d5c2fa739..a8b512a8f 100644 --- a/theories/Unicode/Utf8.v +++ b/theories/Unicode/Utf8.v @@ -1,7 +1,7 @@ (* -*- coding:utf-8 -*- *) (************************************************************************) (* v * The Coq Proof Assistant / The Coq Development Team *) -(*