diff config.sub @ 16887:dd6cbc8b53e8

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