chiark / gitweb /
prefs: Simplify parsing code slightly
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 7 Jun 2021 00:07:18 +0000 (01:07 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 7 Jun 2021 00:19:12 +0000 (01:19 +0100)
commit14d6ec2c1a47c5ebb954c73ad46934da8b837f4a
treefda55cb8078cbdf5002b85ee4c6ffab37a390bad
parentbf88aba2f7c9efa46624ff0cc173d26143c632bb
prefs: Simplify parsing code slightly

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