chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3c369d6) | patch
otter(1): Drop some not-needed lifetime
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 19 May 2021 21:55:45 +0000 (22:55 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 19 May 2021 21:55:45 +0000 (22:55 +0100)
commitbc6d43de877a06bd4703145de3b45aa6590e441e
tree7befd096f1e4d78a2683020d229175552b98e9cctree | snapshot
parent3c369d6ba7d4781bc8be717daad0525c3e1ec613commit | diff
otter(1): Drop some not-needed lifetime

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