diff options
| author | David Aspinall | 1998-12-16 18:11:52 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-12-16 18:11:52 +0000 |
| commit | 3405aa7f075b343776c2b2a6505cdf4d18451e6d (patch) | |
| tree | 1138452049f444b57836e40225d204e2123f8a61 /html | |
| parent | f5eac3af8d3bab3352b47e5505299e0e0d948860 (diff) | |
Made delete-region arg optional for proof-retract-until-point-interactive.
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions