| File manager - /usr/share/grub/default/ | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
|||||||||
| Filename | Size | Date | Rights | Manage | |||
|---|---|---|---|---|---|---|---|
| . | 2023-05-07 07:13:52 | ||||||
| .. | 2023-05-07 07:13:52 | ||||||
| grub | 1176 | 2022-11-08 17:29:17 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz |
| grub.md5sum | 186 | 2022-08-03 20:44:21 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz |