Removed file

2019-04-16 12:00:12 +02:00
parent 66a23299f3
commit 3f92cc41a1
1 changed files with 0 additions and 16 deletions
@@ -1,16 +0,0 @@
-<!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>