1 files changed, 0 insertions, 87 deletions
diff --git a/posts.html~ b/posts.html~
deleted file mode 100644
index 2d9ea0e..0000000
--- a/posts.html~
+++ /dev/null
@@ -1,87 +0,0 @@
-<!DOCTYPE html>
-<html lang="en">
-  <head>
-    <meta name="viewport" content="width=device-width, initial-scale=1.0">
-	<meta charset="utf-8">
-	<link rel="stylesheet" href="/index.css">
-    <link rel="stylesheet" href="/posts.css">
-	<title>Matthew Kosarek</title>
-	<link rel="shortcut icon" href="/favicon/favicon.ico" type="image/x-icon">
-  </head>
-  <body>
-	<header>
-      <h1>Matthew Kosarek</h1>
-      <nav>
-        <ul>
-          <li><a href='/'>&#127969; Home</a></li>
-          <li><a href='/resume.html'>&#128216; CV</a></li>
-          <li><a href='/posts.html'>&#128221; Posts</a></li>
-        </ul>
-      </nav>
-	</header>
-
-    <section id='post_section'>
-    </section>
-
-    <script>
-      function fetchHtml(fileName) {
-          return fetch(fileName).then((response) => {
-              return response.text();
-          });
-      }
-
-      function nodeScriptReplace(node) {
-          if ( nodeScriptIs(node) === true ) {
-              node.parentNode.replaceChild( nodeScriptClone(node) , node );
-          }
-          else {
-              var i = -1, children = node.childNodes;
-              while ( ++i < children.length ) {
-                  nodeScriptReplace( children[i] );
-              }
-          }
-
-          return node;
-      }
-      function nodeScriptClone(node){
-          var script  = document.createElement("script");
-          script.text = node.innerHTML;
-
-          var i = -1, attrs = node.attributes, attr;
-          while ( ++i < attrs.length ) {                                    
-              script.setAttribute( (attr = attrs[i]).name, attr.value );
-          }
-          return script;
-      }
-
-      function nodeScriptIs(node) {
-          return node.tagName === 'SCRIPT';
-      }
-      
-      (function() {
-          var postList = [
-              'posts/linear_system_solver.html'
-          ];
-
-          var postContainer = document.getElementById('post_section');
-          if (!postContainer) {
-              console.error('Could not find post container.');
-              return;
-          }
-
-          postList.forEach(function(postName) {
-              fetchHtml(postName).then(function(text) {
-                  var newSection = document.createElement('article');
-                  newSection.innerHTML = text;
-                  nodeScriptReplace(newSection);
-                  postContainer.appendChild(newSection);
-              });
-          });
-      })();
-    </script>
-
-  </body>
-
-  <script src='/index.js'></script>
-  <script src='/mini-jquery.js' type='module'></script>
-</html>