2 changed files with 17 additions and 2 deletions
@ -0,0 +1,16 @@
@@ -0,0 +1,16 @@
|
||||
<!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> |
||||
Loading…
Reference in new issue