diff options
| author | David Aspinall | 2004-06-03 13:54:50 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-06-03 13:54:50 +0000 |
| commit | dccb0827e266a24dcfd0eabce94f61e0723582c8 (patch) | |
| tree | 06525c15c8720891a2e0909fac6441d6df7dfdbf /Makefile | |
| parent | fd7f7efec3ef589f7208a55fef060dd1b8fbe5bb (diff) | |
proof-goto-end-of-locked: add push-mark; fix: goto end of locked even if
buffer switched.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions