changeset 109 | e0aa398e6810 |
parent 104 | 9b022b1f357c |
child 112 | dbfb5e38438b |
104:9b022b1f357c | 109:e0aa398e6810 |
---|---|
13 # |
13 # |
14 # Description: |
14 # Description: |
15 # |
15 # |
16 |
16 |
17 PLATFORM_HEADERS += taskswitcher_api/tstasksettings.h \ |
17 PLATFORM_HEADERS += taskswitcher_api/tstasksettings.h \ |
18 taskswitcher_api/tstaskmonitor_global.h \ |
|
18 taskswitcher_api/tspropertydefs.h \ |
19 taskswitcher_api/tspropertydefs.h \ |