diff options
| author | David Aspinall | 2011-01-12 10:09:41 +0000 |
|---|---|---|
| committer | David Aspinall | 2011-01-12 10:09:41 +0000 |
| commit | a0989ebd96d6e15f24f902a45b9147b10c912974 (patch) | |
| tree | 9e6a80d17d1ce1881a88fdd11c1d7f1f8ea47969 /generic/proof-utils.el | |
| parent | da65048c208361c704c6a2c200a7553a83f191a0 (diff) | |
Fix quoting in 'float patch.
Diffstat (limited to 'generic/proof-utils.el')
0 files changed, 0 insertions, 0 deletions