chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1d4bb70) | patch
ui: Improve a comment and make it a doc comment
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 17 Apr 2022 23:12:43 +0000 (00:12 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 17 Apr 2022 23:21:19 +0000 (00:21 +0100)
commit16df214a12c2de29eca90f7f865cacc90155a420
treeab99a2f4c03bc9a486c74be81d8aa67096828025tree | snapshot
parent1d4bb70f18f24479b009d491099cccf24ada7931commit | diff
ui: Improve a comment and make it a doc comment

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