diff configure.in @ 49210:6f4f15ee6910

obsoleted
author Francesco Potortì <pot@gnu.org>
date Mon, 13 Jan 2003 23:03:30 +0000
parents fc1853b3e3dd
children 2cbb0b823e83
line wrap: on
line diff