diff options
| author | David Aspinall | 2010-08-03 18:51:29 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-03 18:51:29 +0000 |
| commit | 8c8086c8c50a4f68aa429091f7d3b3e31e97bb34 (patch) | |
| tree | c588035495eae003020101267117100c2d6f120c /generic/proof-splash.el | |
| parent | 99861ac0e7596d85834d34b95ac770e2b4c7e296 (diff) | |
Fix compilation
Diffstat (limited to 'generic/proof-splash.el')
0 files changed, 0 insertions, 0 deletions