diff options
| author | David Aspinall | 2000-03-22 14:12:16 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-03-22 14:12:16 +0000 |
| commit | 41f4016951538f4b3dc935bb7d2bd57ee54014a9 (patch) | |
| tree | 2bc71868171e5c7b0a751ea18fd27cf4dc628407 /html | |
| parent | a06ac4e064bedee9d3e3398e36d66b769634da63 (diff) | |
Set proof-shell-filename-escapes, switch back to %s
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions