| commit | a4b7e14df87e0a39e06d5655ac29cb71cc052721 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Wed Feb 21 16:46:57 1996 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Feb 21 16:46:57 1996 +0000 |
| tree | 572705439d12bf0842e004dc91bb08ca32523b00 | |
| parent | 532e3c2bf61d964a34af054f7c270d0322682eac [diff] |
Store default startup options in preference file or app.