diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2006-12-04 19:42:27 +0000 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2006-12-04 19:42:27 +0000 |
| commit | 576122f6309c49745d16be06e7ce2218a769e96c (patch) | |
| tree | bc49eff8ff2c6f5f8a27b76cab451855ee7f2b3f /hurd-name.html | |
| parent | aa6ec7c28582d02dc59e7ce57315126b4925fd93 (diff) | |
This was a `sed'-based change, where I didn't review every single detail and
thus hope that I didn't break anything. Replace `MiG' with `MIG'. Replace
`MIG' with `GNU MIG' and `The GNU Hurd' with `GNU Hurd' when linking to the
pages. Make the space between `GNU' and `Hurd' or `Mach' or `MIG'
non-breakable.
Diffstat (limited to 'hurd-name.html')
0 files changed, 0 insertions, 0 deletions