doc: Remove undefined CONFIG_TASK_MONITOR

Message ID zephyrproject-rtos/zephyr@7897
State New
Headers show

Message

Kumar Gala May 24, 2018, 11:55 p.m.
# https://github.com/zephyrproject-rtos/zephyr/pull/7897
This represents a change submitted via Github. It is mirrored
here so that it is included in our statistics.