Index of /proc/3770385/root/usr/share/doc/grub2-common/

../
THANKS                                             24-Nov-2018 17:13                1398
font_char_metrics.png                              24-Nov-2018 17:13               16443
grub-dev.html                                      06-Apr-2026 09:41              152250
grub.html                                          06-Apr-2026 09:41              604223