chiark / gitweb /
generalise
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 9 Aug 2020 17:40:41 +0000 (18:40 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 9 Aug 2020 17:40:41 +0000 (18:40 +0100)
commitd74487e95ab61d371bb109c0d7d83aa5c9fabbe7
tree538c81f21fa0f76905a77476159f6bccde5c5c3a
parent29afca124cb2d85903cee44af24c4acad3e118c0
generalise
src/bin/otter.rs