]> matita.cs.unibo.it Git - helm.git/commit
support for dynamic retrieval of style configuration file
authorLuca Padovani <luca.padovani@unito.it>
Tue, 6 Feb 2001 18:02:11 +0000 (18:02 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Tue, 6 Feb 2001 18:02:11 +0000 (18:02 +0000)
commite35a4a6e62026f7fdcea84fe0fecdb83a9b685a3
tree28d756442e7f49817aea487c77d74766cd202372
parentdd2af791135cedf4e558ff8629ceca044a0d11d3
support for dynamic retrieval of style configuration file
helm/http_getter/http_getter.pl.in