diff options
| author | David Aspinall | 2000-03-22 13:47:57 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-03-22 13:47:57 +0000 |
| commit | da0b1b3245bf171a56f3b2d77d5e2fe448544908 (patch) | |
| tree | e7072e9569339731396303a92cb9d941aff94480 /etc | |
| parent | ff6512e4b4a371ec673f3c29d225ec1e5a5ca610 (diff) | |
Switch back to %s, rename proof-shell-string-escapes -> proof-shell-filename-escapes, and always apply for filename substn.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions