]> matita.cs.unibo.it Git - helm.git/commit
added support for compressed files
authorLuca Padovani <luca.padovani@unito.it>
Tue, 30 Jan 2001 09:18:06 +0000 (09:18 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Tue, 30 Jan 2001 09:18:06 +0000 (09:18 +0000)
commit4e8b137b58ec6763785b8ee490ee8cd6cb77b5bf
tree2164b2f7029b22ccf958bfccbae387d2c829f325
parent51a55115aa687a5ce1e9f1be1aefba47b6044eeb
added support for compressed files
helm/interface/uris_of_filenames.pl