| Name | Size | |
|---|---|---|
| Parent Directory | - | |
| mswin32/ | - | |
| notes | 43 | |
| Makefile.am | 506 | |
| dotty.1 | 1.0K | |
| dotty.bsh | 2.0K | |
| dotty.sh | 2.0K | |
| dotty.ksh | 2.1K | |
| dotty_layout.lefty | 9.6K | |
| Makefile.in | 12K | |
| dotty_ui.lefty | 13K | |
| dotty_edit.lefty | 17K | |
| dotty.lefty | 24K | |
| dotty_draw.lefty | 28K | |
| Name | Size | |
|---|---|---|
| Parent Directory | - | |
| mswin32/ | - | |
| notes | 43 | |
| Makefile.am | 506 | |
| dotty.1 | 1.0K | |
| dotty.bsh | 2.0K | |
| dotty.sh | 2.0K | |
| dotty.ksh | 2.1K | |
| dotty_layout.lefty | 9.6K | |
| Makefile.in | 12K | |
| dotty_ui.lefty | 13K | |
| dotty_edit.lefty | 17K | |
| dotty.lefty | 24K | |
| dotty_draw.lefty | 28K | |