grub.rst
changeset 1334 9bf0d5a1f0cf
parent 930 36430cc457bd
child 1713 f948320f5bf3
equal deleted inserted replaced
1333:81e09593158f 1334:9bf0d5a1f0cf
     1 .. -*- coding: utf-8 -*-
     1 .. -*- coding: utf-8; -*-
       
     2 .. include:: HEADER.rst
     2 
     3 
     3 =======
     4 =======
     4  GRUB.
     5  GRUB.
     5 =======
     6 =======
     6 .. contents::
     7 .. contents::