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

 NameLast modifiedSizeDescription
 Parent Directory   -  
 THANKS 2018-11-24 20:13 1.4K 
 font_char_metrics.png 2018-11-24 20:13 16K 
 grub-dev.html 2025-03-19 15:04 147K 
 grub.html 2025-03-19 15:04 550K