chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 12d5e35) | patch
hidden: wip a new Lens placeholder
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 30 Jan 2021 23:13:41 +0000 (23:13 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 31 Jan 2021 22:21:28 +0000 (22:21 +0000)
commit6c144434a4dafdd1808df580b34f81a5f4755f75
tree15ca7f7c5d296d3f12fcf67f5cda99cdbf864e69tree | snapshot
parent12d5e359f81be4d8e520ee52cf75e06a02daed04commit | diff
hidden: wip a new Lens placeholder

(Actually, we changed our mind about this and it was never used.)

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