Anders Blomdell
Clone of official tools
export/GettingStarted.html@47:21ae3e5a7128, 2021-02-04 (annotated)
- Committer:
- Anders Blomdell
- Date:
- Thu Feb 04 17:17:13 2021 +0100
- Revision:
- 47:21ae3e5a7128
- Parent:
- 43:2a7da56ebd24
Add a few normpath calls
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> |