blob: e09bb4d3101290954cc86ea364aed495036416bb [file] [log] [blame] [edit]
[NAME]
grub-file \- check file type