Fri, 22 Nov 2024 20:35:23 CET | 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
Size138884
Modification timeThu, 09 Jan 2020 16:19:51 CET
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMgrub-tools-1:2.02-3.0.0.xcpng8.1.x86_64.rpm