chiark / gitweb /
otter(!): When spec is not path, use server's idea of it
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 20 May 2021 00:50:29 +0000 (01:50 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 20 May 2021 00:59:28 +0000 (01:59 +0100)
commit22025bdf4c079c1f19786d394720aab555c1b8d5
treef83747f4995cb88a481bdf88ba2fe170976f1aaf
parent2cf9cb745c4b064a713123830839ff3c4204688a
otter(!): When spec is not path, use server's idea of it

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/bin/otter.rs