Cross merge with CSR.

[profile.git] / .ssh / hosts / iain.cx / aygalades.cambridge.iain.cx

diff --git a/.ssh/hosts/iain.cx/aygalades.cambridge.iain.cx b/.ssh/hosts/iain.cx/aygalades.cambridge.iain.cx
deleted file mode 100755 (executable)
index d394b13..0000000
--- a/.ssh/hosts/iain.cx/aygalades.cambridge.iain.cx
+++ /dev/null
@@ -1,2 +0,0 @@
-#!/bin/bash
-exec sshterm $(basename "$0")