-
Notifications
You must be signed in to change notification settings - Fork 1
/
index.html
66 lines (66 loc) · 2.29 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
<!DOCTYPE HTML>
<!--
index.html ~~
~~ (c) SRW, 25 Aug 2012
~~ last updated 09 Jun 2014
-->
<html lang="en">
<head>
<meta charset="utf-8">
<meta name="author" content="Sean Wilkinson">
<title>User Page: Sean Wilkinson</title>
<link rel="stylesheet" href="./print.css" media="print">
<link rel="stylesheet" href="./screen.css" media="screen">
<script>
window.onload = function () {
'use strict';
var args, i, key, param, txt, val;
param = {};
if (location.search.length > 0) {
txt = location.search.slice(1);
args = txt.match(/(\S+\=\S+)\&?/g)[0].split('&');
for (i = 0; i < args.length; i += 1) {
key = args[i].split('=')[0];
val = args[i].replace(key + "=", "");
param[key] = JSON.parse(val);
}
}
if (typeof main === 'function') {
main(param);
}
return;
};
</script>
<script type="text/javascript">
var _gaq = _gaq || [];
_gaq.push(['_setAccount', 'UA-33422899-1']);
_gaq.push(['_trackPageview']);
(function() {
var ga, s;
ga = document.createElement('script');
ga.type = 'text/javascript';
ga.async = true;
ga.src = 'http://www.google-analytics.com/ga.js';
s = document.getElementsByTagName('script')[0];
s.parentNode.insertBefore(ga, s);
return;
}());
</script>
</head>
<body class="centered">
<noscript>This page requires JavaScript to be enabled.</noscript>
<h1><a href="https://github.com/wilkinson">Sean Wilkinson</a></h1>
<div>
<ul class="navlist">
<li><a href="./formalin/">Formalin</a></li>
<li><a href="./hpath/">HPath</a></li>
<li><a href="https://www.qmachine.org/">QMachine</a></li>
<li><a href="./quanah/">Quanah</a></li>
<li><a href="./s3ql/">S3QL</a></li>
<li><a href="./virchow/">Virchow</a></li>
<li><a href="./webrw/">WebRW</a></li>
</ul>
</div>
<script src="./main.js"></script>
</body>
</html>