clean_cache method added

[helm.git] / helm / http_getter / http_getter_cache.mli

diff --git a/helm/http_getter/http_getter_cache.mli b/helm/http_getter/http_getter_cache.mli
index a1acfca8cd6a49a89ed42fae93a0780ec61104b2..9aa6e53a5ee024e94d3c2632f5bc59543ae5de5d 100644 (file)
--- a/helm/http_getter/http_getter_cache.mli
+++ b/helm/http_getter/http_getter_cache.mli
@@ -43,3 +43,4 @@ val respond_dtd:
   out_channel ->
     unit
 
+val clean: unit -> unit