Put CaseInv and PatternInv in the same float.
authorMatthijs Kooijman <matthijs@stdin.nl>
Tue, 8 Dec 2009 17:00:41 +0000 (18:00 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Tue, 8 Dec 2009 17:00:41 +0000 (18:00 +0100)

No differences found