| 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