chiark / gitweb /
cope with name change of plag-mangle from planar-graph