diff msdos/sed3.inp @ 16590:a0cfcb9f8033

Use w32 instead of ms-windows for window-system symbol
author Geoff Voelker <voelker@cs.washington.edu>
date Tue, 19 Nov 1996 06:59:17 +0000
parents 3276c8c1843c
children a4fb0c9be609
line wrap: on
line diff