gui/gdc-broken_edge.cc
Wed, 23 Nov 2005 16:24:59 +0000 No segmentation fault caused by zero long edges.
Mon, 21 Nov 2005 12:07:05 +0000 Reorganizing.