diff TOOLS/c @ 12722:5ce932ea93aa

better wording
author diego
date Mon, 28 Jun 2004 21:18:53 +0000
parents 04c80ace9581
children 94cab66a5d07
line wrap: on
line diff