diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2007-08-12 22:04:30 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-08-12 22:04:30 +0200 |
| commit | ae128d097693da524c4a35d42fdc39b8d8b557dd (patch) | |
| tree | 9b34d8116976bfdb55e79cc7bebebd2a87e4e299 /Distrib | |
| parent | f84936f1914a2df19d2251cb6f8ed94e91390c5b (diff) | |
Groups the items on the sidebar nicely and make `NextHurd' a top-level item.
Diffstat (limited to 'Distrib')
0 files changed, 0 insertions, 0 deletions