| commit | d60069cf2eaeac53dc731a8d36702daef79f6288 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Dec 09 22:48:29 1999 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Dec 09 22:48:29 1999 +0000 |
| tree | e7fa4896cb8ef01e863a97b80b7760bb233e9339 | |
| parent | 18f7a453244746377f5599b4ab1b961e5f0c1de5 [diff] |
Added USE_APPEARANCE flag.