diff make-dist @ 86183:be9515152ca7

(check-declare): New target.
author Glenn Morris <rgm@gnu.org>
date Sat, 17 Nov 2007 03:50:17 +0000
parents 7a2e26f2fa76
children b4d02fc0c471 880960b70474
line wrap: on
line diff