commit | 01fbc688967f4d68e2a080dd0de56c582e220432 | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Wed Feb 28 15:42:47 1996 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Feb 28 15:42:47 1996 +0000 |
tree | 08f786705dc11d6c25fb733ff7d5996500d4f2e0 | |
parent | dc1c64a148cc8b1ec57bf72020b001221fe62bb0 [diff] |
- Reorganized init code - Fixed serious bug in code to get options from a resource