beremiz
Clone
Summary
Browse
Changes
Graph
IDE: Fix status bar update when conection lost
2023-10-09, Edouard Tisserant
c1754cd1c298
IDE: Fix status bar update when conection lost
/**
* No platform specific code for "Generic" target
**/
