diff make-dist @ 96696:b4b1fe2990a7

(check-declare-locate, check-declare-verify): Handle .m files.
author Glenn Morris <rgm@gnu.org>
date Wed, 16 Jul 2008 02:25:40 +0000
parents 914fd1aed50a
children 406f89aec7ee
line wrap: on
line diff