From 49f44d1d460f3654baab2949c2c1450be91059d7 Mon Sep 17 00:00:00 2001
From: Jean-Marie Mineau <jean-marie.mineau@protonmail.com>
Date: Sat, 23 Oct 2021 22:40:12 +0200
Subject: [PATCH] remove useless alias

---
 .xonshrc | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/.xonshrc b/.xonshrc
index 6df9a58..c01e2d2 100644
--- 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'