diff configure.in @ 37718:bffcf33fd50d

Markups corrected.
author Francesco Potortì <pot@gnu.org>
date Mon, 14 May 2001 12:53:48 +0000
parents 0c5978b5eb3a
children 57f54fb91332
line wrap: on
line diff