]> matita.cs.unibo.it Git - helm.git/commit
is_empty_listing fixed: the ls method normalizes away the .gz suffix
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 19 Jul 2006 09:54:03 +0000 (09:54 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 19 Jul 2006 09:54:03 +0000 (09:54 +0000)
commit726f5e6ae2b5d7c7699bd9253936ad46558e6f38
treeab7f983cd8e4b1350e0f69b813212dcac59782a3
parent96fbcaa67d901a4ea0f2d06c624a4b1e83c0d5be
is_empty_listing fixed: the ls method normalizes away the .gz suffix
components/getter/http_getter_storage.ml