diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1996-04-26 20:23:41 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1996-04-26 20:23:41 +0000 |
| commit | 8ec00f233a543dbd9d629e6738e5b80f95117ced (patch) | |
| tree | 3b722cd0a5af52b3147cc098ab207157920dee65 /doc | |
| parent | 817f7cfc35a8694cdb08a158328976f31f11c2e8 (diff) | |
(pass5): If not marked clean, but now it is, then offer to mark it
clean.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions