diff TOOLS/c @ 5339:e72d8e3955ea

changed to be more-or-less compatible with Nick's stuff
author arpi
date Mon, 25 Mar 2002 19:53:41 +0000
parents 04c80ace9581
children 94cab66a5d07
line wrap: on
line diff