diff etc/copying.paper @ 72814:05aacac5e80f

(next-error-highlight, next-error-highlight-no-select): Fix custom type and doc strings.
author Richard M. Stallman <rms@gnu.org>
date Mon, 11 Sep 2006 19:04:37 +0000
parents e96ffe544684
children
line wrap: on
line diff