From d359901f9ec139e773004750886c1f7b46447761 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 21 Apr 2005 12:07:41 +0000 Subject: [PATCH] bumped copyright years --- helm/ocaml/license | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/ocaml/license b/helm/ocaml/license index e51e9fcdc..354f8c0ee 100644 --- a/helm/ocaml/license +++ b/helm/ocaml/license @@ -1,4 +1,4 @@ -(* Copyright (C) 2005, HELM Team. +(* Copyright (C) 2004-2005, HELM Team. * * This file is part of HELM, an Hypertextual, Electronic * Library of Mathematics, developed at the Computer Science -- 2.39.2