diff options
| author | Makarius Wenzel | 1999-09-03 16:27:16 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-09-03 16:27:16 +0000 |
| commit | a69de67e4b47807b19edcd0d24d8aaa452e922f9 (patch) | |
| tree | 2c8fff59818847b76e985988ed4febbcbe7aa0f7 /html | |
| parent | cd0b425e6c2c89bf65270eead97ded9da4500741 (diff) | |
proof-shell-restart-cmd: include welcome;
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions