diff options
author | Thomas Schwinge <tschwinge@gnu.org> | 2007-09-03 16:39:41 +0200 |
---|---|---|
committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-09-03 16:39:41 +0200 |
commit | 27c0d08ddcc1a4ad46fde7b39107c526946bb421 (patch) | |
tree | 91ec5901571ed88e1432c7606e7872dbf1dcaa2e /HowToContributeToThisWiki.mdwn | |
parent | 855af9a0ee8d1bdebff882a62104134a71044dba (diff) | |
download | web-27c0d08ddcc1a4ad46fde7b39107c526946bb421.tar.gz web-27c0d08ddcc1a4ad46fde7b39107c526946bb421.tar.bz2 web-27c0d08ddcc1a4ad46fde7b39107c526946bb421.zip |
Further clean-ups and removals.
Diffstat (limited to 'HowToContributeToThisWiki.mdwn')
-rw-r--r-- | HowToContributeToThisWiki.mdwn | 2 |
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: |