Anders Blomdell
Clone of official tools
export/GettingStarted.html@43:2a7da56ebd24, 2018-09-25 (annotated)
- Committer:
- theotherjimmy
- Date:
- Tue Sep 25 13:43:09 2018 -0500
- Revision:
- 43:2a7da56ebd24
- Parent:
- 31:8ea194f6145b
Release 5.10.0
Who changed what in which revision?
| User | Revision | Line number | New 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" |
| theotherjimmy |
43:2a7da56ebd24 | 6 | content="1;url="https://os.mbed.com/docs/latest/tools/exporting.html> |
| The Other Jimmy |
31:8ea194f6145b | 7 | <script type="text/javascript"> |
| theotherjimmy |
43:2a7da56ebd24 | 8 | window.location.href = "https://os.mbed.com/docs/latest/tools/exporting.html" |
| 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 |
| theotherjimmy |
43:2a7da56ebd24 | 14 | <a href='https://os.mbed.com/docs/v5.6/tools/exporting.html/'>link to the online exporter documentation</a> |
| The Other Jimmy |
31:8ea194f6145b | 15 | </body> |
| The Other Jimmy |
31:8ea194f6145b | 16 | </html> |