chiark / gitweb /
Rename BadClockUserError so we can reuse it
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 19 Mar 2021 00:20:41 +0000 (00:20 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 20 Mar 2021 20:12:41 +0000 (20:12 +0000)
commit7a1fdb1754ddc1968984f22cf6de5ff7d0a4fca6
tree74918d55f72c447a254fd416dcb78af2fff09ab6
parent96757c3e15e369f5bb10bb024534855665ea3a13
Rename BadClockUserError so we can reuse it

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