diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2008-11-05 14:58:33 +0100 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2008-11-05 14:58:33 +0100 |
| commit | ae9e4e22a7ce8b2b56e98ff1708c2e8d42eefd69 (patch) | |
| tree | 53d824c19af411f67db44baeacba9b22b68731e6 /hurd/libstore.mdwn | |
| parent | 9574f098caf72da7f709c8467e96606cce04fff9 (diff) | |
microkernel/mach/gnumach -> microkernel/mach/gnu_mach
Diffstat (limited to 'hurd/libstore.mdwn')
| -rw-r--r-- | hurd/libstore.mdwn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/hurd/libstore.mdwn b/hurd/libstore.mdwn index ab649ebc..3de42be3 100644 --- a/hurd/libstore.mdwn +++ b/hurd/libstore.mdwn @@ -9,7 +9,7 @@ is included in the section entitled [[GNU_Free_Documentation_License|/fdl]]."]]"""]] `libstore` is more than just a thin layer between -[[GNU_Mach|microkernel/mach/gnumach]] devices (`hd0` for example) and the +[[microkernel/mach/GNU_Mach]] devices (`hd0` for example) and the device node below `/dev`... # Available Stores |