mirror of https://github.com/ARMmbed/mbed-os.git
Rename libraries to pass CI library name check
Rename the CC libraries, with additional prefix "lib*". Fixes CI failurepull/6794/head
parent
39973c8a8e
commit
245977f3c4
Loading…
Reference in New Issue