diff options
| author | David Aspinall | 1998-10-27 15:52:28 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-27 15:52:28 +0000 |
| commit | 769fef307b404a37e6fca0b412eb8258ab760e75 (patch) | |
| tree | 5fdbbe73b0fc370656c0b31b8038f942bc32a18e /html | |
| parent | 7cf1ffdfc24c4c0ff8dfee128b52fe82612c953b (diff) | |
Fixed up proof-script.el for clean byte compile
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions