]> matita.cs.unibo.it Git - helm.git/commit
Initial revision
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 31 Oct 2000 13:54:30 +0000 (13:54 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 31 Oct 2000 13:54:30 +0000 (13:54 +0000)
commit38e1ee1df7be76922343935255e26673af8c7682
tree9f3764a505c3254447ab8e6b888447f1b05edffe
parent6fa0e80fc781322d48e5e971779adc3c83932f69
Initial revision
helm/configuration/local/etc/helm/configuration.dtd [new file with mode: 0644]
helm/configuration/local/etc/helm/configuration.xml [new file with mode: 0644]
helm/configuration/local/lib/helm/configuration.pl [new file with mode: 0644]