| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| graphics.dot | D | 04-Jul-2025 | 2.4 KiB | 69 | 59 | |
| graphics.png | D | 04-Jul-2025 | 134.5 KiB | |||
| graphics.svg | D | 04-Jul-2025 | 18 KiB | 319 | 271 | |
| interface.dot | D | 04-Jul-2025 | 2.6 KiB | 71 | 57 | |
| interface.png | D | 04-Jul-2025 | 156.4 KiB | |||
| interface.svg | D | 04-Jul-2025 | 23 KiB | 394 | 336 |
