diff options
| author | David Aspinall | 2009-08-20 08:42:07 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-08-20 08:42:07 +0000 |
| commit | 387f5d13d9db7b79386f6b3433e89c1f98ea290a (patch) | |
| tree | 1478f22fc04d20924633d1b348d706dd9ce3714a /generic/proof-shell.el | |
| parent | af84fd0ae6fae303885b2026a17c2b62e7d84f18 (diff) | |
Remove obsolete file mention
Diffstat (limited to 'generic/proof-shell.el')
0 files changed, 0 insertions, 0 deletions