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 /grub | |
| 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 'grub')
0 files changed, 0 insertions, 0 deletions