summaryrefslogtreecommitdiff
path: root/HowToContributeToThisWiki.mdwn
diff options
context:
space:
mode:
authorThomas Schwinge <tschwinge@gnu.org>2007-09-03 16:39:41 +0200
committerThomas Schwinge <tschwinge@gnu.org>2007-09-03 16:39:41 +0200
commit27c0d08ddcc1a4ad46fde7b39107c526946bb421 (patch)
tree91ec5901571ed88e1432c7606e7872dbf1dcaa2e /HowToContributeToThisWiki.mdwn
parent855af9a0ee8d1bdebff882a62104134a71044dba (diff)
Further clean-ups and removals.
Diffstat (limited to 'HowToContributeToThisWiki.mdwn')
-rw-r--r--HowToContributeToThisWiki.mdwn2
1 files changed, 1 insertions, 1 deletions
diff --git a/HowToContributeToThisWiki.mdwn b/HowToContributeToThisWiki.mdwn
index 8141af60..a2e0c34b 100644
--- a/HowToContributeToThisWiki.mdwn
+++ b/HowToContributeToThisWiki.mdwn
@@ -67,7 +67,7 @@ identity:
For being able to do a checkout from which you can later directly push your
changes back into the master repository, you need a
-[[shell_account_on_*flubber*|Hurd/PublicHurdBoxen]] and need to be a member of
+[[shell_account_on_*flubber*|public_hurd_boxen]] and need to be a member of
the *wiki* group. (It's also very much recommenable that you set up your local
ssh configuration as advised on that page.) If you have an account on there: