chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 338ce1b) | patch
hidden: Abolish now-unused log_visible
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 23 Mar 2021 22:38:59 +0000 (22:38 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 23 Mar 2021 22:42:43 +0000 (22:42 +0000)
commita2db29532d15ef4a68ed62ca771dfe7fcb86a4d4
tree0ab66040b4b3ffc586b0eb642c39562b0801aac2tree | snapshot
parent338ce1b0596ced4e3bb3693c07a5ef5a6f0c10e7commit | diff
hidden: Abolish now-unused log_visible

This is only used as part of log_vanilla.  Don't pass it separately.

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