]> 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)
commit3449a6e0b4045a903b9f16db8a2c91986b5ddf0d
tree08a99b3c1e0fdf208021517e0320dc1e684288c9
parent707c29a9125acc5b1b1fdee6e93ca551744ba946
is_empty_listing fixed: the ls method normalizes away the .gz suffix
helm/software/components/getter/http_getter_storage.ml