Rtos API example

mbed-os/tools/export/GettingStarted.html

Committer:
marcozecchini
Date:
2019-02-23
Revision:
0:9fca2b23d0ba

File content as of revision 0:9fca2b23d0ba:

<!DOCTYPE HTML>
<html lang="en-US">
    <head>
        <meta charset="UTF-8">
        <meta http-equiv="refresh"
              content="1;url="https://os.mbed.com/docs/v5.6/tools/exporting.html>
        <script type="text/javascript">
            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://os.mbed.com/docs/v5.6/tools/exporting.html/'>link to the online exporter documentation</a>
    </body>
</html>