]> git.ipfire.org Git - thirdparty/grub.git/commit
projects / thirdparty / grub.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5d80317) | patch
* docs/grub.texi: Correctly use "terminal_input" and not "terminal" in
authorVladimir 'phcoder' Serbinenko <phcoder@gmail.com>
Wed, 30 Mar 2011 07:35:35 +0000 (09:35 +0200)
committerVladimir 'phcoder' Serbinenko <phcoder@gmail.com>
Wed, 30 Mar 2011 07:35:35 +0000 (09:35 +0200)
commite1ad0edd11ea71bdb059fd2768a5e2dbe6589315
treedac1045bf7919dd1d3626c1ac7a2a4a2939d5967tree | snapshot
parent5d8031749e8b8642d31f6f9da510bca3872ffea2commit | diff
* docs/grub.texi: Correctly use "terminal_input" and not "terminal" in
the example.
ChangeLog diff | blob | blame | history
docs/grub.texi diff | blob | blame | history
Mirror of https://git.savannah.gnu.org/git/grub.git