chiark / gitweb /
make gui-displayer work with new gui-plan-bot
authorian <ian>
Sun, 26 Jun 2005 01:51:02 +0000 (01:51 +0000)
committerian <ian>
Sun, 26 Jun 2005 01:51:02 +0000 (01:51 +0000)
commit7703c830eaa03684fded29c3f17e29b8b2ce9508
tree8627b5b0e76afe6efd4e8d8ce895394c83937a3f
parentebd215963f69217dabb8998aa1013e843048405e
make gui-displayer work with new gui-plan-bot
hostside/gui-displayer