Rename part10 to part12

2016-09-04 16:24:28 -07:00
parent d8380e1763
commit d7d8184b46
11 changed files with 0 additions and 0 deletions
--- a/part10/index.html
+++ b/part10/index.html
@@ -1,32 +0,0 @@
-<!DOCTYPE HTML>
-<html>
-
-<head>
-  <meta charset="UTF-8">
-  <title>ElmHub</title>
-  <script type="text/javascript" src="/github.js"></script>
-  <script type="text/javascript" src="/elm.js"></script>
-  <link rel="stylesheet" href="/style.css">
-  <link rel="icon" type="image/png" href="/elm-hub.png">
-</head>
-
-<body>
-  <div id="elm-landing-pad"></div>
-</body>
-
-<script type="text/javascript">
-  // documentation: https://github.com/michael/github
-  var github = new Github();
-
-  var app = Elm.Main.embed(document.getElementById("elm-landing-pad"));
-
-  function searchGithub(query) {
-    github.getSearch(query).repositories({}, function (err, repositories) {
-      app.ports.githubResponse.send(repositories);
-    });
-  }
-
-  app.ports.githubSearch.subscribe(searchGithub);
-</script>
-
-</html>