| commit | 31fa845c013a4fe607bf44c60a9576d994e02f5f | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue May 27 14:10:37 2003 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue May 27 14:10:37 2003 +0000 |
| tree | cafed770730900c4e123aa423d23dc34111115a3 | |
| parent | 68dcd34c0a71d3b2a792d6b69a096de49de7cfd2 [diff] |
Added Help menu. Fixes #731635