diff configure.in @ 106627:3aeebdcf4921

Add some notes on the debbugs.gnu.org setup.
author Glenn Morris <rgm@gnu.org>
date Tue, 22 Dec 2009 08:07:47 +0000
parents 12138f085fa7
children 7b9e6639caa3
line wrap: on
line diff