diff options
| author | David Aspinall | 2008-01-25 16:30:55 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-25 16:30:55 +0000 |
| commit | edf1899143874c6f8fba9bc81046be47ff46ae62 (patch) | |
| tree | 617bf843fbb384d127cd0c7fa92696479a460f52 /generic/proof-utils.el | |
| parent | ec1e7f2b06dfad3972b55924bc06cd2fd8819ede (diff) | |
Fix previous change.
Diffstat (limited to 'generic/proof-utils.el')
0 files changed, 0 insertions, 0 deletions