From: jannikz Date: Thu, 26 May 2016 20:37:08 +0000 (+0200) Subject: Delete git-proxy.sh X-Git-Url: https://git.zndr.dk/?a=commitdiff_plain;h=a4d3c78b3698fd5d7ac1daa3e03c769f69e9c5df;p=dotfiles.git Delete git-proxy.sh --- diff --git a/.local/bin/git-proxy.sh b/.local/bin/git-proxy.sh deleted file mode 100644 index 5878c22..0000000 --- a/.local/bin/git-proxy.sh +++ /dev/null @@ -1,5 +0,0 @@ - #!/bin/sh -exec connect-proxy -5 -R remote -S www-proxy.ericsson.se:3132 $* - - -