diff TOOLS/checktree.sh @ 28438:d90023432f30

In case of several \move or \pos in one line, prefer the first one. Patch by Grigori G, greg at chown ath cx.
author eugeni
date Sat, 07 Feb 2009 01:13:11 +0000
parents abd0a4e9daa0
children 92d75e703bc0
line wrap: on
line diff