diff man/widget.texi @ 73881:8c8ad3efe1fe

(compilation-directory-matcher): Doc fix (Nil -> nil).
author Glenn Morris <rgm@gnu.org>
date Fri, 10 Nov 2006 09:10:58 +0000
parents 1c32f180ffa0
children 4ad431d8e164 7eeafaaa9eab
line wrap: on
line diff