diff src/w32.c @ 49344:d1f15789b40b

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