Two improvements to boxy matching
authorsimonpj@microsoft.com <unknown>
Thu, 10 Apr 2008 11:28:12 +0000 (11:28 +0000)
committersimonpj@microsoft.com <unknown>
Thu, 10 Apr 2008 11:28:12 +0000 (11:28 +0000)
I can't quite remember what provoked these two changes, but they are in my
tree.
One improves boxy_match (which failed unnecessarily)
One fixes boxy_lub (which was assymetrical)


No differences found