mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-21 06:49:35 +00:00
* util/grub-editenv.c: Use argp instead of getopt.
This commit is contained in:
1 parent
c5930ec832
commit
6439b8ee81
2 files changed
+90
-70