diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2008-11-19 15:54:07 +0100 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2008-11-19 15:54:07 +0100 |
| commit | 1de4ec0bcfad92dfa0b7cf69919d56c0dca4cb7a (patch) | |
| tree | df1d22d227cacf7ce981448ea9c148c60c72f80c /news | |
| parent | 306cbd9d3afc7619bbaef2d14123f6a693802980 (diff) | |
Revert "microkernel/mach/gnumach -> microkernel/mach/gnu_mach"
This reverts commit ae9e4e22a7ce8b2b56e98ff1708c2e8d42eefd69. I've changed my
mind again. Also resolve conflicts and adapt all new uses of the path.
Diffstat (limited to 'news')
| -rw-r--r-- | news/2008-11-14.mdwn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/news/2008-11-14.mdwn b/news/2008-11-14.mdwn index ab8d2f24..1e2c8802 100644 --- a/news/2008-11-14.mdwn +++ b/news/2008-11-14.mdwn @@ -10,5 +10,5 @@ is included in the section entitled [[Samuel_Thibault|samuelthibault]] has implemented support for the PAE feature offered by modern x86 processors. This largely faciliates the deployment of -GNU/Hurd systems running as a [[Xen_domU|microkernel/mach/gnu_mach/ports/xen]] +GNU/Hurd systems running as a [[Xen_domU|microkernel/mach/gnumach/ports/xen]] on top of a standard Debian GNU/Linux Xen dom0, for example. |