Fri, 29 Aug 2025 15:42:14 UTC | login

Information for file /usr/share/doc/grub-tools-2.02/grub-dev.html

Name/usr/share/doc/grub-tools-2.02/grub-dev.html
Digest (sha256)e7547c7859075131b47fc26b317fce812d1a04e0988161283930d65c8535824a
Size135.63 KB
Modification timeThu, 09 Jan 2020 15:19:51 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMgrub-tools-1:2.02-3.0.0.xcpng8.1.x86_64.rpm