diff options
| author | Jeremie Koenig <jk@jk.fr.eu.org> | 2012-01-29 15:50:57 +0100 |
|---|---|---|
| committer | Jeremie Koenig <jk@jk.fr.eu.org> | 2012-01-29 23:35:30 +0100 |
| commit | e0bae14eade4fcf0db4d49b84d33554fb7d9dbb8 (patch) | |
| tree | 8652893f6798971b663a9fef37b1bffab883de10 /faq/which_microkernel | |
| parent | 4df998f4178dec0cf29d2cdfae85d9b96d6e5052 (diff) | |
sidebar: don't collapse "Hurd" and (some of) "Mach"
The "Hurd" and "Mach" entries of the sidebar were auto-collapsed when
browsing the rest of the wiki, except for "MIG", which is under "Mach"
and always visible.
These changes improve consistency:
- don't collapse the Hurd, Mach and MIG entries,
- make "MIG" a first-level entry,
- add a "Documentation" link under "MIG".
Diffstat (limited to 'faq/which_microkernel')
0 files changed, 0 insertions, 0 deletions