]> matita.cs.unibo.it Git - helm.git/history - helm/http_getter/helm_http_getter.spec.in
made executable again
[helm.git] / helm / http_getter / helm_http_getter.spec.in
2003-01-08 Stefano Zacchirolinew http_getter sources layout:
2001-02-02 Luca Padovani*** empty log message ***
2001-02-02 Luca Padovani*** empty log message ***
2001-02-02 Luca Padovani*** empty log message ***
2001-01-17 Luca Padovaniautoconfiguration improved (well, maybe)