diff configure @ 49344:d1f15789b40b

Better sed script.
author Francesco Potortì <pot@gnu.org>
date Mon, 20 Jan 2003 16:15:15 +0000
parents b69102c57df8
children 2867da9cc2b0
line wrap: on
line diff