diff configure @ 105833:c214e49d9cc3

(with-mode-local): Doc fix.
author Glenn Morris <rgm@gnu.org>
date Tue, 03 Nov 2009 03:22:30 +0000
parents 73190af7ce73
children e6af95c4c862
line wrap: on
line diff