diff options
| author | arnebab <arne_bab@web.de> | 2008-10-14 10:01:11 +0200 |
|---|---|---|
| committer | arnebab <arne_bab@web.de> | 2008-10-14 10:01:11 +0200 |
| commit | 8cd188ca73393e27154bfaaec4a20d84095132a8 (patch) | |
| tree | 3bfe78c6dcde096f8a1f0b43f4efe3fc50d5b80e | |
| parent | a6e1f910fdd5da0181b85cf1ad3cd57b72a22297 (diff) | |
Who runs GNU really means: who runs it in a production environment, so I adapted the header question.
| -rw-r--r-- | Hurd/WhoRunsGNU.mdwn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Hurd/WhoRunsGNU.mdwn b/Hurd/WhoRunsGNU.mdwn index 8ed24a91..ad1685b7 100644 --- a/Hurd/WhoRunsGNU.mdwn +++ b/Hurd/WhoRunsGNU.mdwn @@ -1,4 +1,4 @@ -## <a name="Who_runs_GNU_"> </a> Who runs GNU? +## <a name="Who_runs_GNU_"> </a> Who runs GNU in production? On an official [GNU Project](http://www.gnu.org/gnu/thegnuproject.html) page I found a quote, attributed to Rabbi Hillel: |