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

Export: fix link in gettingstarted

pull/5685/head
Martin Kojtal 2017-12-11 15:38:02 +00:00
parent 2e1c2a1cdf
commit 95b02936fa
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tools/export/GettingStarted.html
View File

@ -3,9 +3,9 @@
<head>
<meta charset="UTF-8">
<meta http-equiv="refresh"
content="1;url="https://os.mbed.com/docs/v5.6/tools/exporting.html>
content="1;url="https://os.mbed.com/docs/latest/tools/exporting.html>
<script type="text/javascript">
window.location.href = "https://os.mbed.com/docs/v5.6/tools/exporting.html/"
window.location.href = "https://os.mbed.com/docs/latest/tools/exporting.html"
</script>
<title>Page Redirection</title>
</head>