| commit | f94cadf456e676143bc06f8918d0f50f1b52ab17 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Sat Aug 31 01:20:53 2002 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Sat Aug 31 01:20:53 2002 +0000 |
| tree | 902bb13817723b2bed4981654d07a45f6afd0943 | |
| parent | fe9acdea8af57a7810b02c667269b27c3d5e4348 [diff] |
MenuID's are signed.