chiark / gitweb /
note that detection suppressed by README.commands
authorian <ian>
Tue, 15 Jul 2008 20:38:30 +0000 (20:38 +0000)
committerian <ian>
Tue, 15 Jul 2008 20:38:30 +0000 (20:38 +0000)
commit5249d7b3481f245a5d450a36db5dba477ba58209
treee59c677b43bc47988ed3ac3b246646b4749d12fe
parent78eb68f255eb3cef75b7a1a0bc0446fdbef63161
note that detection suppressed by README.commands
hostside/README.commands
hostside/parse-proto-spec