remove unused

2017-04-08 17:58:12 +02:00 · 2017-04-08 17:58:12 +02:00 · 8616383485
commit 8616383485
parent 286d45f630
1 changed files with 0 additions and 1 deletions
--- a/1
+++ b/1
@ -51,7 +51,6 @@ randpw(){
  strings /dev/urandom | grep -o '[[:graph:]]' | head -n 20 | tr -d '\n'
 	echo
 }
-alias ssh_dev='ssh -t obelix sudo jlog dev'
 # git status dans tous les sous-repertoires de sources
 alias srcstatus='show_status -d ~/sources/'