diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2007-11-12 15:01:13 +0100 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-12-15 22:22:55 +0100 |
| commit | 7718e7cb3f16373a90888e2123460962651ceeea (patch) | |
| tree | b50023e3ed8854fe75f9642b129232a25a54d9a6 /microkernel | |
| parent | a6d7f00f976cf775093fa97d06178c853c461c05 (diff) | |
Rename [[hurd/gettinghelp]] to [[hurd/getting_help]] and add a forwarding from the old page. Change all uses.
Diffstat (limited to 'microkernel')
0 files changed, 0 insertions, 0 deletions