chiark / gitweb /
better, and configurable, line widths on colourful gui plan
authorian <ian>
Wed, 28 May 2008 17:12:18 +0000 (17:12 +0000)
committerian <ian>
Wed, 28 May 2008 17:12:18 +0000 (17:12 +0000)
commit2fb0413aa189a119c8a6480a9e48c56135cbec32
tree8a6b74e999ae2434b15e8aefd097b024117f69a2
parent20aac4cc58b7f0fae14334e458a0ff221f1f8b5f
better, and configurable, line widths on colourful gui plan
layout/Makefile
layout/layout