diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2011-05-05 17:44:15 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2011-05-05 17:44:15 +0000 |
| commit | ba0a4a7fa382b0e50fbbe1911f81de02bfc86b9a (patch) | |
| tree | 2285dbf6e2e810dc2fcb055087f73b39b07fcaf3 /etc/ProofGeneral.spec | |
| parent | e59dd9b444501a3881b3e09917754e6e9b51b58d (diff) | |
Restore front page scary image. Update dates
Diffstat (limited to 'etc/ProofGeneral.spec')
0 files changed, 0 insertions, 0 deletions