]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 751d9e7) | patch
Minor bug fixes:
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 20 Nov 2002 10:52:24 +0000 (10:52 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 20 Nov 2002 10:52:24 +0000 (10:52 +0000)
commit9261580b5e489f52d7e67bbcc918a564e0848035
tree1367244312865e08fb27b161e88b17355f451067tree | snapshot
parent751d9e7e83a33c73c879bb6503af3cc7ad9f9a88commit | diff
Minor bug fixes:
 - forward_{rel|sort}.rdf ==> forward_{rel|sort}.xml
 - forward_{rel|sort}.xml were not valid XML documents
helm/metadata/create_V7_mowgli/METADATA/lex.yy.c diff | blob | history
helm/metadata/create_V7_mowgli/METADATA/lex.yy_ind.c diff | blob | history
helm/metadata/create_V7_mowgli/METADATA/sthandler.c diff | blob | history
helm/metadata/create_V7_mowgli/METADATA/sthandler_ind.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.