| Name | Type | Size | Permission | Actions |
|---|---|---|---|---|
| INSTALL | File | 10.44 KB | 0644 | Edit | Rename | Chmod | Delete |
| NEWS | File | 21.8 KB | 0644 | Edit | Rename | Chmod | Delete |
| README | File | 801 B | 0644 | Edit | Rename | Chmod | Delete |
| THANKS | File | 1.37 KB | 0644 | Edit | Rename | Chmod | Delete |
| TODO | File | 318 B | 0644 | Edit | Rename | Chmod | Delete |
| font_char_metrics.png | File | 16.06 KB | 0644 | Edit | Rename | Chmod | Delete |
| grub-dev.html | File | 137.22 KB | 0644 | Edit | Rename | Chmod | Delete |
| grub.html | File | 529.04 KB | 0644 | Edit | Rename | Chmod | Delete |