]> matita.cs.unibo.it Git - helm.git/commit
added tilde_expansion of directory settings
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 4 Nov 2005 09:33:00 +0000 (09:33 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 4 Nov 2005 09:33:00 +0000 (09:33 +0000)
commit657a64ff42cfc0f4821ba47d2ee9bbbe5b41c74d
tree8d16b852633fbe1237b5bb35a085326ae1ad2727
parent7cf9117b7c5f6c322c8b02044f4548fae13d0653
added tilde_expansion of directory settings
helm/ocaml/getter/http_getter.ml