grub.rst
changeset 1217 3940dace0d88
parent 930 36430cc457bd
child 1334 9bf0d5a1f0cf
equal deleted inserted replaced
1216:7a3ade740d3f 1217:3940dace0d88