diff options
author | Thomas Schwinge <tschwinge@gnu.org> | 2009-06-08 19:49:16 +0200 |
---|---|---|
committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-06-08 19:58:18 +0200 |
commit | ad3b443209dc7f62b5fe1d2e82ad5bb8d97947d4 (patch) | |
tree | 05d5cd41ce9237ce92680aaf2732e794f033525d /open_issues/grub_legacy | |
parent | fb101cb1c9d20138da1e6fc060c33a89b08c786e (diff) |
Move back the history page to its original location.
Suggested by RMS via Rob Myers, the chief GNU webmaster.
Diffstat (limited to 'open_issues/grub_legacy')
0 files changed, 0 insertions, 0 deletions