diff options
| author | David Aspinall | 2010-10-10 16:59:22 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-10-10 16:59:22 +0000 |
| commit | edc03ccc504bc597294d79fa3d6c5bc34e779912 (patch) | |
| tree | d909ae05ec6291d3418485a9af0bda16f13b1b47 /generic/proof-script.el | |
| parent | b23953129bbcc69668857ca897fa66f044e906e4 (diff) | |
pg-span-context-menu: add doc
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions