diff options
| author | David Aspinall | 2008-01-25 16:26:45 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-25 16:26:45 +0000 |
| commit | ec1e7f2b06dfad3972b55924bc06cd2fd8819ede (patch) | |
| tree | bfb596b5fcb14c5e304634870d2e2295e54f60d5 /doc | |
| parent | af4191ef4d152a34f1d730bef5e58bd18c5dd378 (diff) | |
Make isatool usage (view doc) compatible with proof-rsh-command.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions