Are you sure you want to delete the file dotty_ui.lefty?
| Name | Size | Permission | Action |
|---|---|---|---|
| box.lefty | 3613 bytes | 0644 | |
| def.lefty | 459 bytes | 0644 | |
| dotty.lefty | 23036 bytes | 0644 | |
| dotty_draw.lefty | 19946 bytes | 0644 | |
| dotty_edit.lefty | 18046 bytes | 0644 | |
| dotty_layout.lefty | 14570 bytes | 0644 | |
| dotty_ui.lefty | 14210 bytes | 0644 | |
| fractal.lefty | 2716 bytes | 0644 | |
| fractal2.lefty | 5751 bytes | 0644 | |
| lefty.psp | 2423 bytes | 0644 | |
| slides.lefty | 3198 bytes | 0644 | |
| tree.lefty | 5014 bytes | 0644 |