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 #5685 from 0xc0170/fix_gettinstarted 

Export: fix link in gettingstarted template
pull/5624/merge
Martin Kojtal 2017-12-13 09:20:11 +00:00 committed by GitHub
parent 5c01c3e59c 95b02936fa
commit 98a1aecfc1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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> <head>
<meta charset="UTF-8"> <meta charset="UTF-8">
<meta http-equiv="refresh" <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"> <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> </script>
<title>Page Redirection</title> <title>Page Redirection</title>
</head> </head>