]> matita.cs.unibo.it Git - helm.git/commit
no longer used (use HBUGS_MESSAGES.xml directly)
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 16 Apr 2003 12:16:27 +0000 (12:16 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 16 Apr 2003 12:16:27 +0000 (12:16 +0000)
commit2153805fd8c6f53f2429a3c2c3fa53880de8a487
treed5d9fff0e74b415f0f7dc62112f5f801d58dd6df
parentebccc569eb763c210602cd17790a5731c83fe5fb
no longer used (use HBUGS_MESSAGES.xml directly)
helm/hbugs/test/messages_raw.xml [deleted file]