remove useless alias

3 years ago · 49f44d1d46
parent c34cb455ed
commit 49f44d1d46
1 changed files with 0 additions and 3 deletions
--- a/.xonshrc
+++ b/.xonshrc
@ -54,9 +54,6 @@ aliases['status'] = 'git status'
 aliases['rebase'] = 'git rebase'
 aliases['checkout'] = 'git checkout'

-# ssh
-aliases['proxy_hindley'] = 'ssh -D 8080 hindley.adh.auro.re'
-
 # config
 aliases['config'] = '/usr/bin/git --git-dir=/home/me/.cfg/ --work-tree=/home/me'