| commit | d05e18139f37934344a55d165be7894983cd5de6 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Aug 02 11:03:19 2002 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Aug 02 11:03:19 2002 +0000 |
| tree | dfe296a0057706581179d03834af7bfbe18a5079 | |
| parent | d5f4359458877fd2e36d82f71e2c2f86ad50b251 [diff] |
Slightly better error message in case of missing resources.