| commit | 791f7d4783a732720f9fdcd39f530267efc9e4df | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Wed Jan 15 22:45:48 2003 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Jan 15 22:45:48 2003 +0000 |
| tree | d2d1ae47f76f7786f6634a91f7fe1bec2f15ade2 | |
| parent | 2d0909b9cb9c4c2ab7cdc331b41044711bcd8a65 [diff] |
Added ismount(). Fixes #661762, bugfix candidate.