chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0fa6277) | patch
tidy a bit
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 26 Sep 2020 19:31:57 +0000 (20:31 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 26 Sep 2020 19:31:57 +0000 (20:31 +0100)
commit5a9f10bceb11efa74e41522aff02f985edb08e7e
tree0cc2852cdb3d87c25c3460630adeec241e5649d5tree | snapshot
parent0fa627773ea5359565fa8ed104476b4b4bb7b39acommit | diff
tidy a bit

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.