projects / grub.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3809f01) | patch
* util/grub-editenv.c (help_filter, argp): Document how to delete
authorColin Watson <cjwatson@ubuntu.com>
Wed, 13 Nov 2013 02:15:57 +0000 (02:15 +0000)
committerColin Watson <cjwatson@ubuntu.com>
Wed, 13 Nov 2013 02:15:57 +0000 (02:15 +0000)
commitd0d1e3dacb07ef4b960333b31eb4c080741eee0d
treeed98efa2e07229c291784f3553767e6c5490c7c8tree | snapshot
parent3809f0163bd0db9ad9e209b39a636f7e49a6f56bcommit | diff
* util/grub-editenv.c (help_filter, argp): Document how to delete
the whole environment block.
Reported by Dan Jacobson.  Fixes Debian bug #726265.
ChangeLog diff | blob | history
util/grub-editenv.c diff | blob | history
GRUB2 development