chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5d837d6) | patch
geometry: ipl Ord and Eq for Rect
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 25 Mar 2021 14:57:00 +0000 (14:57 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 25 Mar 2021 14:57:00 +0000 (14:57 +0000)
commit02f18fc4a67182852f1dcb9523eb83232ff0d1ba
treedb68d474d2ab0e51b2a9f9473b46284451b162cbtree | snapshot
parent5d837d6285ef9c6df411456722b5dc7d1494ae16commit | diff
geometry: ipl Ord and Eq for Rect

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