chiark / gitweb /
hidden: Remove a done comment
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 20 Mar 2021 23:31:04 +0000 (23:31 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 20 Mar 2021 23:31:04 +0000 (23:31 +0000)
commita60c2eac818fd289988f03b2ac9aa236decc4f3a
tree03bec56d1546eaceb40c21c6cbadc984fd49e1c2
parenteb04b7e1a7ec67950dd3d0cfc6a616be4d9bc6c0
hidden: Remove a done comment

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/hidden.rs