|
From: | Paul Scott |
Subject: | parent spanner that can contain a hairpin |
Date: | Wed, 30 Jan 2008 14:49:38 -0700 |
User-agent: | Mozilla-Thunderbird 2.0.0.9 (X11/20080110) |
What is the parent spanner referred to in: Spanner `Hairpin' is not fully contained in parent spanner ? Knowing that might make the error message easier to use. TIA, Paul Scott
[Prev in Thread] | Current Thread | [Next in Thread] |