chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0c7eb58) | patch
geometry: Relax Ord to PartialOrd
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 25 Mar 2021 01:13:09 +0000 (01:13 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 25 Mar 2021 01:13:31 +0000 (01:13 +0000)
commit2474c9e68277850a76fa3019d5cf526e72376bd5
tree11cb720ac8dabb1a95d045b71347079fc9c97a71tree | snapshot
parent0c7eb58e0e467f3f2804d29719aa7de1a4fe7062commit | diff
geometry: Relax Ord to PartialOrd

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.