Are you sure you want to delete the file TODO?
| Name | Size | Permission | Action |
|---|---|---|---|
| INSTALL | 10693 bytes | 0644 | |
| NEWS | 22323 bytes | 0644 | |
| README | 801 bytes | 0644 | |
| THANKS | 1398 bytes | 0644 | |
| TODO | 318 bytes | 0644 | |
| font_char_metrics.png | 16443 bytes | 0644 | |
| grub-dev.html | 140520 bytes | 0644 | |
| grub.html | 541746 bytes | 0644 |
