commit | db0baced2309b358d706f5f027a2ecd2e581e609 | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Thu Apr 04 15:38:44 1996 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Apr 04 15:38:44 1996 +0000 |
tree | a45a145ca223fa1b0206205189ed325c24d28204 | |
parent | bbb4e10e91f231bcb1cb012198b2262333f3e0ed [diff] |
Added support for editing override preferences in applets