diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2014-01-12 14:32:46 +0000 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2014-03-05 18:29:01 +0000 |
commit | 4c3ff1c38c7db68f382041fb1068d092eaabd875 (patch) | |
tree | 6160774ba676692daa64d78273bf920ba80aee18 | |
parent | 9e690747cbdcdea1bf95383956e8b468cf942447 (diff) |
dgit-repos-server: rename from dgit-repos-push-receiver
-rw-r--r-- | dgit-repos-server (renamed from dgit-repos-push-receiver) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/dgit-repos-push-receiver b/dgit-repos-server index 0f7c4b0..0f7c4b0 100644 --- a/dgit-repos-push-receiver +++ b/dgit-repos-server |