diff man/killing.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 c7e4f78b81a6
children e282f9062d8d 858cb33ae39d
line wrap: on
line diff