]> matita.cs.unibo.it Git - helm.git/commitdiff
- added 'version' field, actually set to 0.2.0
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 8 Jan 2003 10:29:02 +0000 (10:29 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 8 Jan 2003 10:29:02 +0000 (10:29 +0000)

No differences found