mkj

Dependencies:   mbed

Revision:
3:6838f81e6d51
Parent:
1:0dea7cc36043
diff -r 0dea7cc36043 -r 6838f81e6d51 mbed.bld
--- a/mbed.bld	Sun Sep 27 12:43:26 2020 +0000
+++ b/mbed.bld	Mon Sep 28 02:22:29 2020 +0000
@@ -1,1 +1,1 @@
-http://mbed.org/users/mbed_official/code/mbed/builds/04dd9b1680ae
\ No newline at end of file
+https://os.mbed.com/users/mbed_official/code/mbed/builds/3a7713b1edbc
\ No newline at end of file