diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2008-11-05 12:29:44 +0100 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2008-11-05 12:29:44 +0100 |
| commit | 1025353771167067d3a6f8eca98ee3e7ece44be1 (patch) | |
| tree | 94d6e74841b2dd658b176e23a34b5703d5e501e4 /help.html | |
| parent | d1e821a382c0b07ba74dc7d6c4c68458773b3484 (diff) | |
| download | web-1025353771167067d3a6f8eca98ee3e7ece44be1.tar.gz web-1025353771167067d3a6f8eca98ee3e7ece44be1.tar.bz2 web-1025353771167067d3a6f8eca98ee3e7ece44be1.zip | |
Unify perhaps a thousand paragraphs stating what *the Hurd* is.
Hurd/TheGnuHurd -> hurd/what_is_the_gnu_hurd
hurd/faq/gramatically_speaking -> hurd/what_is_the_gnu_hurd/gramatically_speaking
Hurd/HurdNames, hurd-name.html -> hurd/what_is_the_gnu_hurd/origin_of_the_name
Etc.
Diffstat (limited to 'help.html')
0 files changed, 0 insertions, 0 deletions