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.