the other jimmy
/
mbed-sdk-tools
Important changes to repositories hosted on mbed.com
Mbed hosted mercurial repositories are deprecated and are due to be permanently deleted in July 2026.
To keep a copy of this software download the repository Zip archive or clone locally using Mercurial.
It is also possible to export all your personal repositories from the account settings page.
Fork of
mbed-sdk-tools
by 
mbed official
export/GettingStarted.html@32:8ea194f6145b, 2017-01-04 (annotated)
- Committer:
- The Other Jimmy
- Date:
- Wed Jan 04 11:58:24 2017 -0600
- Revision:
- 32:8ea194f6145b
Update tools to follow mbed-os tools release 5.3.1
Who changed what in which revision?
| User | Revision | Line number | New contents of line |
|---|---|---|---|
| The Other Jimmy |
32:8ea194f6145b | 1 | <!DOCTYPE HTML> |
| The Other Jimmy |
32:8ea194f6145b | 2 | <html lang="en-US"> |
| The Other Jimmy |
32:8ea194f6145b | 3 | <head> |
| The Other Jimmy |
32:8ea194f6145b | 4 | <meta charset="UTF-8"> |
| The Other Jimmy |
32:8ea194f6145b | 5 | <meta http-equiv="refresh" |
| The Other Jimmy |
32:8ea194f6145b | 6 | content="1;url="https://developer.mbed.org/handbook/Getting-Started-mbed-Exporters> |
| The Other Jimmy |
32:8ea194f6145b | 7 | <script type="text/javascript"> |
| The Other Jimmy |
32:8ea194f6145b | 8 | window.location.href = "https://developer.mbed.org/handbook/Getting-Started-mbed-Exporters" |
| The Other Jimmy |
32:8ea194f6145b | 9 | </script> |
| The Other Jimmy |
32:8ea194f6145b | 10 | <title>Page Redirection</title> |
| The Other Jimmy |
32:8ea194f6145b | 11 | </head> |
| The Other Jimmy |
32:8ea194f6145b | 12 | <body> |
| The Other Jimmy |
32:8ea194f6145b | 13 | If you are not redirected automatically, please follow the |
| The Other Jimmy |
32:8ea194f6145b | 14 | <a href='https://developer.mbed.org/handbook/Getting-Started-mbed-Exporters'>link to the online exporter documentation</a> |
| The Other Jimmy |
32:8ea194f6145b | 15 | </body> |
| The Other Jimmy |
32:8ea194f6145b | 16 | </html> |