homescreensrv_plat/taskswitcher_api/taskswitcher_api.pri
changeset 109 e0aa398e6810
parent 104 9b022b1f357c
child 112 dbfb5e38438b
equal deleted inserted replaced
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 \