chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f23c310) | patch
record what is deployed (fix)
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 27 Nov 2020 22:24:53 +0000 (22:24 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 27 Nov 2020 22:24:53 +0000 (22:24 +0000)
commitcc5c65efd02db0dcc5bd8853f5f58dfe06810fa9
tree371679f308b7879ac3a192ec01d243126c3d9efdtree | snapshot
parentf23c310f5e7a07eb08da882d77655ce9ebffe48ccommit | diff
record what is deployed (fix)

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