diff options
| author | David Aspinall | 1999-09-29 14:43:21 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-09-29 14:43:21 +0000 |
| commit | 60356be91e5543b9ed7c226b293cb85a9a3553de (patch) | |
| tree | e34376949a2601aa9d20eb8eb645ba9dfd627c68 /html | |
| parent | 43f13e644f90831938549ac703ee3f33d1ad1f65 (diff) | |
Re-enabled and renamed proof-send-span: becomes proof-copy-span bound to C-button1
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions