diff make-dist @ 16890:303cda7d14cb

Update include conditionals to use new name.
author Geoff Voelker <voelker@cs.washington.edu>
date Mon, 20 Jan 1997 01:10:38 +0000
parents 9694822642a7
children b29d903ca993
line wrap: on
line diff