| commit | 786681ac60a0ce320310566b7fe90e09ee25a0b2 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Apr 11 20:56:13 2002 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Apr 11 20:56:13 2002 +0000 |
| tree | 8a9c606eca6a82ed0100b54d9a75ad6aa10778f7 | |
| parent | cc8258d827bbbd6b1e5e4cf891a1efe043e57329 [diff] |
Got rid of obsolete appearance flag.