chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4728369) | patch
geometry: Rename pos_zip_try_map, add infallible pos_zip_map, use
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 8 May 2022 09:52:09 +0000 (10:52 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 8 May 2022 09:52:09 +0000 (10:52 +0100)
commit2067e270dcb80c155d570399a0177a021f9bd04f
treead3d2394d0a62104cdf7309349d73eee2ab49c75tree | snapshot
parent472836983b34c8c498d4f95a5921ac44a927f34acommit | diff
geometry: Rename pos_zip_try_map, add infallible pos_zip_map, use

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.