chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5c4535d) | patch
sealed trait
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 11 Oct 2020 10:00:09 +0000 (11:00 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 11 Oct 2020 10:00:09 +0000 (11:00 +0100)
commit0ea5d11c89839f35ff52cc499ba02b9bc346e543
tree5ac8f1bcd7b632875b487866299ba4a3fa70edf4tree | snapshot
parent5c4535d1e4c851a4601087562775b9865fa083dfcommit | diff
sealed trait

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.