mirror of https://github.com/ARMmbed/mbed-os.git
17 lines
611 B
HTML
17 lines
611 B
HTML
<!DOCTYPE HTML>
|
|
<html lang="en-US">
|
|
<head>
|
|
<meta charset="UTF-8">
|
|
<meta http-equiv="refresh"
|
|
content="1;url="https://os.mbed.com/docs/latest/tools/exporting.html>
|
|
<script type="text/javascript">
|
|
window.location.href = "https://os.mbed.com/docs/latest/tools/exporting.html"
|
|
</script>
|
|
<title>Page Redirection</title>
|
|
</head>
|
|
<body>
|
|
If you are not redirected automatically, please follow the
|
|
<a href='https://os.mbed.com/docs/v5.6/tools/exporting.html/'>link to the online exporter documentation</a>
|
|
</body>
|
|
</html>
|