| File manager - /usr/share/doc/grub2-common/ | |||||||||
|---|---|---|---|---|---|---|---|---|---|
|
|
|
||||||||
| Filename | Size | Date | Rights | Manage | |||
|---|---|---|---|---|---|---|---|
| . | 2026-03-21 15:04:12 | ||||||
| .. | 2026-02-05 15:04:38 | ||||||
| THANKS | 1398 | 2018-11-24 17:13:02 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz |
| font_char_metrics.png | 16443 | 2018-11-24 17:13:02 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz |
| grub-dev.html | 150447 | 2026-03-19 08:28:29 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz |
| grub.html | 579372 | 2026-03-19 08:28:33 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz |
