]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/http_getter_cache.ml
- added TODO about cache expires control
[helm.git] / helm / http_getter / http_getter_cache.ml
index 42bace5a4f7b9ac53b67a7f2e3fd8fcf458f62d3..2a258ddc42997f7425e9b6a9101a121e4566ef7e 100644 (file)
@@ -26,6 +26,8 @@
  *  http://helm.cs.unibo.it/
  *)
 
+(* TODO cache expires control!!! *)
+
 open Http_getter_common;;
 open Http_getter_misc;;
 open Http_getter_types;;