chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c8a1b12) | patch
Provide check_str
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 11 Oct 2020 18:34:25 +0000 (19:34 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 11 Oct 2020 18:34:25 +0000 (19:34 +0100)
commit62fe7af7699d25bcba974db989ab5aed06dc2ac9
tree9db5465f80ae4ccf93dadb6a01c6dae5a44f9a9ctree | snapshot
parentc8a1b12a26c6bd9e443b7f26c269769538533bc5commit | diff
Provide check_str

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
zcoord/zcoord.rs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.