diff configure @ 4181:159b3d0f517d

patch by Fredrik Kuivinen <freku045@student.liu.se>
author pl
date Tue, 15 Jan 2002 21:30:45 +0000
parents 116abdd0aed1
children e9d5b1b5827b
line wrap: on
line diff