diff options
| author | David Aspinall | 1999-11-16 21:02:21 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-16 21:02:21 +0000 |
| commit | cd4bc763494c4e0d352878bd9f1f4d8bae60d450 (patch) | |
| tree | 69ade3554d9456c1cbd8177897d2fc844cf4c931 /generic/proof-script.el | |
| parent | de4e4aa641e8782f7a88d402ab380d4d94f4ef96 (diff) | |
Second version of easy-config, without defvaralias use.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions