Anders Blomdell / mbed-sdk-tools

Clone of official tools

export/GettingStarted.html@31:8ea194f6145b, 2017-01-04 (annotated)

Committer:
The Other Jimmy
Date:
Wed Jan 04 11:58:24 2017 -0600
Revision:
31:8ea194f6145b
Child:
43:2a7da56ebd24
Update tools to follow mbed-os tools release 5.3.1

Who changed what in which revision?

UserRevisionLine numberNew contents of line
The Other Jimmy 31:8ea194f6145b 1 <!DOCTYPE HTML>
The Other Jimmy 31:8ea194f6145b 2 <html lang="en-US">
The Other Jimmy 31:8ea194f6145b 3 <head>
The Other Jimmy 31:8ea194f6145b 4 <meta charset="UTF-8">
The Other Jimmy 31:8ea194f6145b 5 <meta http-equiv="refresh"
The Other Jimmy 31:8ea194f6145b 6 content="1;url="https://developer.mbed.org/handbook/Getting-Started-mbed-Exporters>
The Other Jimmy 31:8ea194f6145b 7 <script type="text/javascript">
The Other Jimmy 31:8ea194f6145b 8 window.location.href = "https://developer.mbed.org/handbook/Getting-Started-mbed-Exporters"
The Other Jimmy 31:8ea194f6145b 9 </script>
The Other Jimmy 31:8ea194f6145b 10 <title>Page Redirection</title>
The Other Jimmy 31:8ea194f6145b 11 </head>
The Other Jimmy 31:8ea194f6145b 12 <body>
The Other Jimmy 31:8ea194f6145b 13 If you are not redirected automatically, please follow the
The Other Jimmy 31:8ea194f6145b 14 <a href='https://developer.mbed.org/handbook/Getting-Started-mbed-Exporters'>link to the online exporter documentation</a>
The Other Jimmy 31:8ea194f6145b 15 </body>
The Other Jimmy 31:8ea194f6145b 16 </html>