Sat, 04 May 2024 08:32:14 CEST | login

Information for file /usr/share/doc/grub-tools-2.02

Name/usr/share/doc/grub-tools-2.02
Digest (sha256)
Size220
Modification timeWed, 29 Nov 2017 17:51:16 CET
Userroot
Grouproot
Modedrwxr-xr-x
Flags
RPMgrub-tools-1:2.02-2.x86_64.rpm