diff make-dist @ 16588:481b7874a1e9

Change identifiers of the form win32* to w32*.
author Geoff Voelker <voelker@cs.washington.edu>
date Tue, 19 Nov 1996 04:59:23 +0000
parents ffc0af16b32a
children 9694822642a7
line wrap: on
line diff