Clone of official tools
Diff: export/GettingStarted.html
- Revision:
- 43:2a7da56ebd24
- Parent:
- 31:8ea194f6145b
--- a/export/GettingStarted.html Mon Nov 06 13:17:14 2017 -0600 +++ b/export/GettingStarted.html Tue Sep 25 13:43:09 2018 -0500 @@ -3,14 +3,14 @@ <head> <meta charset="UTF-8"> <meta http-equiv="refresh" - content="1;url="https://developer.mbed.org/handbook/Getting-Started-mbed-Exporters> + content="1;url="https://os.mbed.com/docs/latest/tools/exporting.html> <script type="text/javascript"> - window.location.href = "https://developer.mbed.org/handbook/Getting-Started-mbed-Exporters" + window.location.href = "https://os.mbed.com/docs/latest/tools/exporting.html" </script> <title>Page Redirection</title> </head> <body> If you are not redirected automatically, please follow the - <a href='https://developer.mbed.org/handbook/Getting-Started-mbed-Exporters'>link to the online exporter documentation</a> + <a href='https://os.mbed.com/docs/v5.6/tools/exporting.html/'>link to the online exporter documentation</a> </body> </html>