summaryrefslogtreecommitdiff
path: root/hurd-and-linux.html
diff options
context:
space:
mode:
authorThomas Schwinge <tschwinge@gnu.org>2006-12-04 19:42:27 +0000
committerThomas Schwinge <tschwinge@gnu.org>2006-12-04 19:42:27 +0000
commit576122f6309c49745d16be06e7ce2218a769e96c (patch)
treebc49eff8ff2c6f5f8a27b76cab451855ee7f2b3f /hurd-and-linux.html
parentaa6ec7c28582d02dc59e7ce57315126b4925fd93 (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-and-linux.html')
0 files changed, 0 insertions, 0 deletions