doc/Protocol.odt
author sheepluva
Sat, 16 Jan 2016 19:11:21 +0100
changeset 11519 5d804405964d
parent 1337 b652c002633b
permissions -rw-r--r--
fix script for resolving git commit id to hg commit id (github page format changed; hw hg repo location too)

(binary:application/vnd.oasis.opendocument.text)