11

Dependencies:   millis

Committer:
turumputum
Date:
Thu Nov 15 09:23:23 2018 +0000
Revision:
3:eb2e20c37656
Parent:
0:9d6c79aa222a
213?

Who changed what in which revision?

UserRevisionLine numberNew contents of line
dimavb 0:9d6c79aa222a 1 <!DOCTYPE HTML>
dimavb 0:9d6c79aa222a 2 <html lang="en-US">
dimavb 0:9d6c79aa222a 3 <head>
dimavb 0:9d6c79aa222a 4 <meta charset="UTF-8">
dimavb 0:9d6c79aa222a 5 <meta http-equiv="refresh"
dimavb 0:9d6c79aa222a 6 content="1;url="https://os.mbed.com/docs/latest/tools/exporting.html>
dimavb 0:9d6c79aa222a 7 <script type="text/javascript">
dimavb 0:9d6c79aa222a 8 window.location.href = "https://os.mbed.com/docs/latest/tools/exporting.html"
dimavb 0:9d6c79aa222a 9 </script>
dimavb 0:9d6c79aa222a 10 <title>Page Redirection</title>
dimavb 0:9d6c79aa222a 11 </head>
dimavb 0:9d6c79aa222a 12 <body>
dimavb 0:9d6c79aa222a 13 If you are not redirected automatically, please follow the
dimavb 0:9d6c79aa222a 14 <a href='https://os.mbed.com/docs/v5.6/tools/exporting.html/'>link to the online exporter documentation</a>
dimavb 0:9d6c79aa222a 15 </body>
dimavb 0:9d6c79aa222a 16 </html>