summaryrefslogtreecommitdiff
path: root/public_hurd_boxen.mdwn
diff options
context:
space:
mode:
Diffstat (limited to 'public_hurd_boxen.mdwn')
-rw-r--r--public_hurd_boxen.mdwn3
1 files changed, 0 insertions, 3 deletions
diff --git a/public_hurd_boxen.mdwn b/public_hurd_boxen.mdwn
index 29c2eb36..b4ea6169 100644
--- a/public_hurd_boxen.mdwn
+++ b/public_hurd_boxen.mdwn
@@ -24,9 +24,6 @@ To request an account on the `*.bddebian.com` machines either contact
or send email to <hurd-shell-account@gnu.org>. Also use these contact
addresses for requesting support with respect to software installations, etc.
-For a list of people using the Hurd in production systems, please see
-[[Hurd/WhoRunsGNU]].
-
To be able to use just `ssh [machine]`, you should append your public SSH key
to `~/.ssh/authorized_keys` on the remote machine.