chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 654777a) | patch
utils: Drop some unused bits
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 2 May 2022 10:25:18 +0000 (11:25 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 2 May 2022 10:25:18 +0000 (11:25 +0100)
commitad5198c2876f0896c7572738431984db21740786
tree8ecea9877115c56209cd0de6a93ca4a8cd3816cctree | snapshot
parent654777a75c4e71c2ec4dbe7be135bbce8cd15669commit | diff
utils: Drop some unused bits

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.