diff options
| author | David Aspinall | 2000-03-22 13:03:48 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-03-22 13:03:48 +0000 |
| commit | 8c14c8e72ff6e093f0a35c56f8982ba2a3b2785c (patch) | |
| tree | 7690e348d61df39524d0f070c515841a0c30df77 /generic/proof-script.el | |
| parent | 04dae31678bbb6eb58e957a88625de44da1fa97c (diff) | |
Fix other file commands to use %e substitution.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions