chiark / gitweb /
better colours
authorian <ian>
Wed, 28 May 2008 17:12:01 +0000 (17:12 +0000)
committerian <ian>
Wed, 28 May 2008 17:12:01 +0000 (17:12 +0000)
commit20aac4cc58b7f0fae14334e458a0ff221f1f8b5f
tree6f68f5bc6431f5fe5ef0a46d79b7874ec4d3ecf9
parentd4e2fe8f163f4029cf82838f2fc09484c0191097
better colours
layout/plan-to-gui-data