chiark / gitweb /
Do not ask for irrelevant replay
authorian <ian>
Sat, 7 Jun 2008 19:16:04 +0000 (19:16 +0000)
committerian <ian>
Sat, 7 Jun 2008 19:16:04 +0000 (19:16 +0000)
commit38a51f7d56e15d4ddde1b9580e0b4f1238b55949
treeaa6a35439fccedf4048c45f98f7e3c8034d53166
parentc7fa28a726a2da0a9c18ae602c4073a78f4d9e60
Do not ask for irrelevant replay
hostside/gui-plan.c