chiark / gitweb /
better finding of specs
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 21 Nov 2020 21:44:01 +0000 (21:44 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 21 Nov 2020 21:44:01 +0000 (21:44 +0000)
commit85ca4cfc83205a1060ce4226c07d4b196cfeba05
tree65091e452d6a4ac355209685fec1fac1c9735590
parent16e9beb6ceae433de04cfa78cd52a5d4499a3183
better finding of specs

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