diff options
| author | David Aspinall | 2004-08-25 20:19:25 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-08-25 20:19:25 +0000 |
| commit | 609a69821db204aad0f9bd3a3e7ecfebc455e4e1 (patch) | |
| tree | 5a606f40ca4d7752aae9bc03a79ba2e8df7f30dc /generic/proof-splash.el | |
| parent | 417636c4fc274ba341335ec01d2775dab1fc630a (diff) | |
Extended and updated PGIP support for PGIP 2.X
Diffstat (limited to 'generic/proof-splash.el')
0 files changed, 0 insertions, 0 deletions