diff options
| author | David Aspinall | 2002-01-16 16:35:43 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-01-16 16:35:43 +0000 |
| commit | 278e065741e2959258b862407e53fe9d4a9ef418 (patch) | |
| tree | 77dbfe8e8eb4fafd93523fc98f0d8eedfa085a4d /generic/proof.el | |
| parent | 4973d5e79f66a650d9141e665a8fb8e9a18e9207 (diff) | |
Also bury trace buffer
Diffstat (limited to 'generic/proof.el')
0 files changed, 0 insertions, 0 deletions