| commit | 145c92dfb5592782c3cac0e7d3875b236585afb6 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Oct 11 11:30:26 1996 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Oct 11 11:30:26 1996 +0000 |
| tree | c7a3e6eedeb3e7fc5abe7071020b9e51fc1f1ca8 | |
| parent | 11b6d24da04bdfe287cff1faae5ab24e26aa1993 [diff] |
Moved resources to 510/511: the numbers above 512 gave problems when editing preferences in applets with their own dialogs