ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Merge pull request #5149 from theotherjimmy/update-export-link 

Update link in GettingStarted to current docs
pull/5193/head
Jimmy Brisson 2017-09-25 10:13:09 -05:00 committed by GitHub
parent 6ca2342fba 97b0dd8bd5
commit 482c2aef2d
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
tools/export/GettingStarted.html
View File

@ -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/v5.6/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/v5.6/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>