X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2Fhttp_getter_map.mli;h=7081f19629f7907e835bd856d43d1677be54c048;hb=3f81a72dbdc7f2ffb17cc1ecd4e6a39270891c77;hp=720484f31c1eca747a4738f5c6f746dce3c0065b;hpb=a888f480029a073f9b5a71a9a9dc10904efb7657;p=helm.git diff --git a/helm/http_getter/http_getter_map.mli b/helm/http_getter/http_getter_map.mli index 720484f31..7081f1962 100644 --- a/helm/http_getter/http_getter_map.mli +++ b/helm/http_getter/http_getter_map.mli @@ -1,5 +1,5 @@ (* - * Copyright (C) 2003: + * Copyright (C) 2003-2004: * Stefano Zacchiroli * for the HELM Team http://helm.cs.unibo.it/ *