diff make-dist @ 19358:33f430abc9ed

(tags-verify-table): Obey revert-without-query. (verify-tags-table-function): Doc fix.
author Richard M. Stallman <rms@gnu.org>
date Fri, 15 Aug 1997 19:28:16 +0000
parents 2cf5e8809c8e
children 53fa6bca2c89
line wrap: on
line diff