mirror of
https://github.com/FreeRTOS/coreMQTT
synced 2025-05-17 07:42:05 +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