diff options
| author | David Aspinall | 2009-08-28 17:19:11 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-08-28 17:19:11 +0000 |
| commit | 1f6baad655836ad24047cb1caac63b2d0384a5da (patch) | |
| tree | 9d55069e7c9b2cbb62743bdb69de3f326da5759e /generic/proof-script.el | |
| parent | 141578789ed742060d8915a28f343e080c5eee95 (diff) | |
pg-create-in-span-context-menu: fix nesting
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions