homescreensrv_plat/taskswitcher_api/taskswitcher_api.pri
changeset 107 b34d53f6acdf
parent 99 7aaf39b772ac
child 112 dbfb5e38438b
equal deleted inserted replaced
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 \