changeset 107 | b34d53f6acdf |
parent 99 | 7aaf39b772ac |
child 112 | dbfb5e38438b |
106:e78d6e055a5b | 107:b34d53f6acdf |
---|---|
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 \ |