chiark / gitweb /
Add type information into scripts/protocol