]> git.ipfire.org Git - thirdparty/grub.git/commit
projects / thirdparty / grub.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8451454) | patch
docs: Fix devicetree command description
authorDaniel Kiper <daniel.kiper@oracle.com>
Mon, 25 May 2020 19:02:12 +0000 (21:02 +0200)
committerDaniel Kiper <daniel.kiper@oracle.com>
Fri, 18 Sep 2020 19:20:43 +0000 (21:20 +0200)
commit30c4e3ca404ea88968acf20f096835b78218901b
tree72cfa66c92d84ad0abbb2abc9f41d3fcfdfe8fbetree
parent8451454889f3b46312cc16eb07970d6c20da0812commit | diff
docs: Fix devicetree command description

Specifically fix the subsection and drop bogus reference to the GNU/Linux.

Reported-by: Patrick Higgins <higgi1pt@gmail.com>
Signed-off-by: Daniel Kiper <daniel.kiper@oracle.com>
Reviewed-by: Javier Martinez Canillas <javierm@redhat.com>
docs/grub.texi diff | blob | blame | history
Mirror of https://git.savannah.gnu.org/git/grub.git