diff options
author | 1999-11-18 18:06:06 +0000 | |
---|---|---|
committer | 1999-11-18 18:06:06 +0000 | |
commit | c39c73e093ee6eecc959163a801eddfdd4574af8 (patch) | |
tree | 8b3298048d8e42828594773c70792f01dfe1532a /etc/demoisa/C.ML | |
parent | da704391bb08325770f1907f1c679cc51f6e837f (diff) |
Set version tag for new release.
Diffstat (limited to 'etc/demoisa/C.ML')
0 files changed, 0 insertions, 0 deletions