diff TOOLS/checktree.sh @ 19692:5b40e87b9619

Change \fad behaviour so that it does not get cancelled by \r.
author eugeni
date Tue, 05 Sep 2006 19:06:15 +0000
parents e5ec659ec1c6
children 97fbe96274c3
line wrap: on
line diff