| Name | Type | Size | Permission | Actions |
|---|---|---|---|---|
| github-top.png | File | 383 B | 0775 | Edit | Rename | Chmod | Delete |
| header-bg.png | File | 12.78 KB | 0775 | Edit | Rename | Chmod | Delete |
| header-separator.png | File | 123 B | 0775 | Edit | Rename | Chmod | Delete |
| logo.png | File | 5.5 KB | 0775 | Edit | Rename | Chmod | Delete |
| logo.svg | File | 10.63 KB | 0775 | Edit | Rename | Chmod | Delete |
| navigation-tip.png | File | 11.75 KB | 0775 | Edit | Rename | Chmod | Delete |