| Name | Type | Size | Permission | Actions |
|---|---|---|---|---|
| THANKS | File | 1.37 KB | 0644 | Edit | Rename | Chmod | Delete |
| font_char_metrics.png | File | 16.06 KB | 0644 | Edit | Rename | Chmod | Delete |
| grub-dev.html | File | 148.68 KB | 0644 | Edit | Rename | Chmod | Delete |
| grub.html | File | 590.06 KB | 0644 | Edit | Rename | Chmod | Delete |