| commit | cf6369394e5f4bb3d0b6f5b9a76d4fa3c121bf1c | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Mon Aug 07 14:36:06 1995 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Aug 07 14:36:06 1995 +0000 |
| tree | ed15a6dd36630adf7b537eff14b639f0262f4890 | |
| parent | a7b6a820aeba56cee44b6b787e02816426316586 [diff] |
Better error messages wrt missing resources and preferences