From b22a26dfdcd15c2ecceeb6d45ed10667177d2d04 Mon Sep 17 00:00:00 2001
From: Pfonks
Date: Fri, 21 May 2021 20:58:59 +0200
Subject: Removed references to lea after decommissioning

---
 ssh/fsi-run-everywhere | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ssh/fsi-run-everywhere')

diff --git a/ssh/fsi-run-everywhere b/ssh/fsi-run-everywhere
index efbe8ca..b9c113b 100755
--- a/ssh/fsi-run-everywhere
+++ b/ssh/fsi-run-everywhere
@@ -17,7 +17,7 @@ fi
 ## Note: ${parameter@Q} should also work.
 ## TODO: Might make sense to read commands interactively.
 
-for host in "amy" "anja" "kim" "lara" "lea" "nina" "sessel" "sofa" "teri" "trinity"; do
+for host in "amy" "anja" "kim" "lara" "nina" "sessel" "sofa" "teri" "trinity"; do
   echo "+ Host: $host"
   ssh "$host.fsi.uni-tuebingen.de" "$@"
 done
-- 
cgit v1.2.3