From 2ee738ded92798fbbf66b65f449102cda761ec9f Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 5 Jul 2005 08:10:43 +0000 Subject: [PATCH] bumped license year --- helm/ocaml/license | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/ocaml/license b/helm/ocaml/license index 354f8c0ee..e51e9fcdc 100644 --- a/helm/ocaml/license +++ b/helm/ocaml/license @@ -1,4 +1,4 @@ -(* Copyright (C) 2004-2005, HELM Team. +(* Copyright (C) 2005, HELM Team. * * This file is part of HELM, an Hypertextual, Electronic * Library of Mathematics, developed at the Computer Science -- 2.39.2