chiark / gitweb /
rename type alias nfc
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 13 Nov 2020 21:20:30 +0000 (21:20 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 13 Nov 2020 21:20:30 +0000 (21:20 +0000)
commit54ba133f1e5424eb62eb270ad82db336f516ff81
treeba3273c1f7050b9a06503e2b078662a169af2011
parente8a84a72eeefce66c11d39cbc66ae484d7ee2e2c
rename type alias nfc

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