diff options
| author | David Aspinall | 2001-07-23 09:16:01 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-07-23 09:16:01 +0000 |
| commit | 7f649a353ae3be418d95ddf18791a054852f25d0 (patch) | |
| tree | 5c2ec218215f99b39f41eef18e0ddecd05875309 /FAQ | |
| parent | b538a5e24c714b9bb9329567dcfa37ec81b08a55 (diff) | |
Bug report from Robert Schneck. Make proof-shell-restart start shell. Goals display convention, not hack.
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions