diff options
| author | David Aspinall | 2002-08-29 14:25:19 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-29 14:25:19 +0000 |
| commit | 2143d76242f67b00a3191c611a63218266ec570c (patch) | |
| tree | 732052c26185c8178e39d5149ec213cf6ba8f198 /generic/proof-splash.el | |
| parent | e3acc5a216a2270164d94bf0df3dce787d69def2 (diff) | |
Updated.
Diffstat (limited to 'generic/proof-splash.el')
0 files changed, 0 insertions, 0 deletions