chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1e1452d) | patch
make push pub
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 31 Jul 2020 21:45:39 +0000 (22:45 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 31 Jul 2020 21:45:39 +0000 (22:45 +0100)
commit283274f138b4c724168bc9a6aa6b363678576233
tree087e6216e9d4183b8e003227c997e4fe8b004e69tree | snapshot
parent1e1452d6b808be66a0b69ea5a2f319735205da6bcommit | diff
make push pub
src/updates.rs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.