Index of /home/000~ROOT~000/usr/share/doc/grub2-common

 NameLast modifiedSizeDescription
 Parent Directory   -  
 THANKS 2018-11-24 09:13 1.4K 
 font_char_metrics.png 2018-11-24 09:13 16K 
 grub-dev.html 2026-03-17 17:00 178K 
 grub.html 2026-03-17 17:00 654K