diff config.bat @ 13635:a48a11952cc7

(Man-fontify-manpage, Man-cleanup-manpage): Convert \255 to a dash.
author Richard M. Stallman <rms@gnu.org>
date Fri, 24 Nov 1995 22:19:32 +0000
parents 09c2ad9213dd
children 327ff78701e0
line wrap: on
line diff