chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ad5198c) | patch
utils: Drop EmptyType
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 2 May 2022 10:26:23 +0000 (11:26 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 2 May 2022 10:26:23 +0000 (11:26 +0100)
commitfbd9982c7ee588f06dcb7926fdcc6f1f21379b67
tree9e0cf95c6f680f4e1e6d356cef849424f4f1045btree | snapshot
parentad5198c2876f0896c7572738431984db21740786commit | diff
utils: Drop EmptyType

It turns out that there already weren't any use sites.

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