| File manager - /usr/lib/grub/ | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
|||||||||
| Filename | Size | Date | Rights | Manage | |||
|---|---|---|---|---|---|---|---|
| . | 2019-12-08 10:43:57 | ||||||
| .. | 2020-12-18 14:47:26 | ||||||
| i386-pc | 2019-12-08 10:43:57 | drwxr-xr-x | Delete | Rename | Compress zip | Compress .tar.gz | |
| grub-mkconfig_lib | 9759 | 2019-06-12 11:20:51 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz |