]> matita.cs.unibo.it Git - helm.git/commit - helm/style/config/style-configuration.xml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e8f0da1) | patch
Never really used. Functionality eventually replaced by the serialization.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 12 Nov 2001 11:05:21 +0000 (11:05 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 12 Nov 2001 11:05:21 +0000 (11:05 +0000)
commitb0de364855e0d68923d7567a18ce2dd09a7148e8
tree7ff405bfd69c4f9daf4e8d0b0736df17bb625734tree | snapshot
parente8f0da12ea20a97083be016fc4e2a09688f786c8commit | diff
Never really used. Functionality eventually replaced by the serialization.
helm/style/config/style-configuration.dtd [deleted file] blob | history
helm/style/config/style-configuration.xml [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.