chiark / gitweb /
note revision of planar-graph project