mirror of
https://github.com/FreeRTOS/coreMQTT
synced 2025-05-30 04:42:36 +08:00

* Replace mqtt_config with core_mqtt_config in CBMC comments * Update doxygen to generate configurations page with core_mqtt_config page name
* Replace mqtt_config with core_mqtt_config in CBMC comments * Update doxygen to generate configurations page with core_mqtt_config page name