chiark / gitweb /
~ianmdlvl / dgit.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 9e69074)
dgit-repos-server: rename from dgit-repos-push-receiver
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 12 Jan 2014 14:32:46 +0000 (14:32 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 5 Mar 2014 18:29:01 +0000 (18:29 +0000)
dgit-repos-server [moved from dgit-repos-push-receiver with 100% similarity] patch | blob | history

diff --git a/dgit-repos-push-receiver b/dgit-repos-server
similarity index 100%
rename from dgit-repos-push-receiver
rename to dgit-repos-server
Unnamed repository; edit this file 'description' to name the repository.