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.