chiark / gitweb /
~ian / chiark-utils.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eede02a) | patch
git-cache-proxy: housekeeping: Rename main dir to tmp before deleting to preserve...
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 28 Jul 2014 14:22:37 +0000 (15:22 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 28 Jul 2014 14:22:37 +0000 (15:22 +0100)
commit0551f3103af1b31e4cf03bd81c191f34837ef7d1
tree637fd32d78f27483cd4e01917eb9dd641ac60888tree | snapshot
parenteede02a315ee2d05bfada0e62f5a9746046d3492commit | diff
git-cache-proxy: housekeeping: Rename main dir to tmp before deleting to preserve invariant
scripts/git-cache-proxy diff | blob | history
Unnamed repository; edit this file to name it for gitweb.