From 7bf11c09b4ff1a0f3fe632df760061c66838c64d Mon Sep 17 00:00:00 2001
From: "martin f. krafft" <madduck@madduck.net>
Date: Tue, 30 Sep 2008 15:19:06 +0200
Subject: [PATCH] add ravel shortcut to config

---
 .ssh/config.in | 3 +++
 1 file changed, 3 insertions(+)

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
-- 
2.39.5