chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e7ab25a) | patch
drop unused type alias (and fix one mistaken reference to it)
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 28 Nov 2020 00:00:34 +0000 (00:00 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 28 Nov 2020 00:00:34 +0000 (00:00 +0000)
commit94ea198583480d75924805abaa6c60caaf71504b
treef3ac9287d66a0a67396bfdddf60aff358a29bee0tree | snapshot
parente7ab25ab73c16782631e6dd5123637c1974c522fcommit | diff
drop unused type alias (and fix one mistaken reference to it)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/cmdlistener.rs diff | blob | history
src/imports.rs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.