From 4c3ff1c38c7db68f382041fb1068d092eaabd875 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Sun, 12 Jan 2014 14:32:46 +0000 Subject: [PATCH] dgit-repos-server: rename from dgit-repos-push-receiver --- dgit-repos-push-receiver => dgit-repos-server | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename dgit-repos-push-receiver => dgit-repos-server (100%) 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 -- 2.30.2