chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 65eddc2) | patch
git push after deploy
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 8 Dec 2020 14:01:32 +0000 (14:01 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 8 Dec 2020 14:01:32 +0000 (14:01 +0000)
commitf869dec76d10fc559f3f95eb8575f25b5d581d47
tree1bca2be915aeb43b40c4fb31628ea4f9cae55b06tree | snapshot
parent65eddc27ac23caac343aff12980262ce132e6f3ccommit | diff
git push after deploy

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