Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | merge branch pdledit_gui into dev - many widgets still miss their ↵ | Mario | 2022-02-20 | 1 | -7/+0 |
| | | | | description and requirements (this is work in progress) | ||||
* | more app descriptions | Mario | 2021-08-25 | 1 | -1/+2 |
| | |||||
* | strings and bump apd versions to version 2 | Mario Vavti | 2018-10-19 | 1 | -1/+1 |
| | | | (cherry picked from commit 4aed866d69b46e57439b4b9e60301c93f0104995) | ||||
* | appification of the pdl editor and move advanced_theming to theme settings ↵ | Mario Vavti | 2018-09-26 | 1 | -0/+6 |
where it belongs |