diff config.bat @ 86130:e55a87ac8167

(Man-heading-regexp): Add 0-9. (Man-first-heading-regexp): Remove leading space [ \t]* before NAME.
author Juri Linkov <juri@jurta.org>
date Fri, 16 Nov 2007 01:18:50 +0000
parents 15154fa4af1a
children 107ccd98fa12 14c4a6aac623
line wrap: on
line diff