diff options
| author | David Aspinall | 2008-01-25 16:22:59 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-25 16:22:59 +0000 |
| commit | af4191ef4d152a34f1d730bef5e58bd18c5dd378 (patch) | |
| tree | b3c3971513dee73b151b9dfea8429da1f92ccf9e /FAQ | |
| parent | 59932614901a295dfb38b594aae73359c3b996ef (diff) | |
Make isatool usage compatible with proof-rsh-command.
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions