lars
committed
on 28 Sep 02
Fixed bug #36, not dropping the patch number sequence view. Thanks to Tilmann.