chiark / gitweb /
remove obsolete part
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 28 Jun 2020 15:29:16 +0000 (16:29 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 28 Jun 2020 15:29:16 +0000 (16:29 +0100)
commit1410e113fc5324875cefd2137ab63d0c9b76b066
treed18e8a6125d8b61105f60decc9bd291abeb508ca
parent9df6bb5448f6332f24c5f99a601e4e70442192f1
remove obsolete part
PROTOCOL.md