chiark / gitweb /
labels: wip generalisation - rename
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 24 Mar 2021 15:39:44 +0000 (15:39 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 24 Mar 2021 15:39:44 +0000 (15:39 +0000)
commit980fb2ae87137de5a77c7d7b98974683563361a4
tree2b08d22c437a1dd3150c9dbe8ca8b6ad7c075d69
parenta8acf968ca37e007d7d67555997688e5f0fa456c
labels: wip generalisation - rename

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