| commit | c158bb2293cacc0526e88031dbfbdbd266ab990d | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Mon Jan 01 22:57:59 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Jan 01 22:57:59 2001 +0000 |
| tree | 9f9f76b826c578e7ea8bd05a94b1e675b3979bf2 | |
| parent | 07d69f60bd3b77d548056ddd7ade2c4c294b4559 [diff] |
Minor clarficiations in the dialogs about which errno file is wanted when (I had also forgotten:-).