diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2011-05-12 15:57:45 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2011-05-12 15:57:45 +0000 |
| commit | 0da47082b74d6f819641d163db443d6ba4cd6da6 (patch) | |
| tree | ad1fbfcc5a5e5ec499fd9917f1f49c7c1cce38f2 /etc/ProofGeneral.spec | |
| parent | 2640f0dacd76f3ef5bd2c8230257cd5716046265 (diff) | |
Update docstring magic
Diffstat (limited to 'etc/ProofGeneral.spec')
0 files changed, 0 insertions, 0 deletions