chiark / gitweb /
do not include edges in unknowns
authorian <ian>
Sun, 26 Jun 2005 00:14:32 +0000 (00:14 +0000)
committerian <ian>
Sun, 26 Jun 2005 00:14:32 +0000 (00:14 +0000)
commit32741d7d65ae42e85560984a1cba253cc6a9b681
tree14f065aafb7488250b1252a40f7363cdb8954ad0
parentaf5caa5c91e9dd4796eaeff24173811c2e5100df
do not include edges in unknowns
layout/plan-to-gui-data