diff Makefile.in @ 16887:dd6cbc8b53e8

Use new name w32gui.h
author Geoff Voelker <voelker@cs.washington.edu>
date Mon, 20 Jan 1997 00:58:23 +0000
parents 9d392663cd09
children 52f0da9d19ff
line wrap: on
line diff