grub-efi/debian/grub-common.install.linux.in

3 lines
51 B
Plaintext
Raw Permalink Normal View History

2023-08-16 16:37:14 +08:00
usr/bin/grub-mount
usr/share/man/man1/grub-mount.1