From: martin f. krafft <madduck@madduck.net>
Date: Tue, 30 Sep 2008 13:19:06 +0000 (+0200)
Subject: add ravel shortcut to config
X-Git-Url: https://git.madduck.net/etc/ssh.git/commitdiff_plain/7bf11c09b4ff1a0f3fe632df760061c66838c64d?ds=inline;hp=92a65cbaac7c639dcff1f1ea3e15e2627cd80ed9

add ravel shortcut to config
---

diff --git a/.ssh/config.in b/.ssh/config.in
index 00059f3..3c7e62f 100644
--- a/.ssh/config.in
+++ b/.ssh/config.in
@@ -310,6 +310,9 @@ Host argento.debian.org | argento
 Host allegri.debian.org | allegri
   Hostname allegri.debian.org
   User madduck
+Host ravel.debian.org | ravel
+  Hostname ravel.debian.org
+  User madduck
 
 Host sergei.ifi.uzh.ch | sergei
   Hostname sergei.ifi.uzh.ch