Sat, 23 Nov 2024 12:05:57 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 timeWed, 12 Jan 2022 12:40:46 CET
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMgrub-tools-1:2.02-3.1.0.xcpng8.2.x86_64.rpm