]> matita.cs.unibo.it Git - helm.git/commit
First set of hard-coded URLs removed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 3 Oct 2001 15:40:58 +0000 (15:40 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 3 Oct 2001 15:40:58 +0000 (15:40 +0000)
commit4a425bad0eb873df58457d4cb72d8d20a21b4c57
treeabc49bb3280cfeeb680e4d3726423d5892eae57f
parent8d9aef9c8d97e31630c5931b5a4192cf96a27ff0
First set of hard-coded URLs removed.
Still many remaining.
helm/style/mk_dep_graph.xsl
helm/style/mk_meta_graph.xsl