Skip to content

Instantly share code, notes, and snippets.

Created February 21, 2013 23:15
Show Gist options
  • Save anonymous/5009334 to your computer and use it in GitHub Desktop.
Save anonymous/5009334 to your computer and use it in GitHub Desktop.
a=" <head>
<meta charset='utf-8' />
<link href='/styles.css?1333128600' rel='stylesheet' type='text/css' />
<link href='/images/favicon.png' rel='shortcut icon' />
<link href='/opensearch.xml' rel='search' title='Look up a Redis command' type='application/opensearchdescription+xml' />
<script src='http://ajax.googleapis.com/ajax/libs/jquery/1.4/jquery.min.js'></script>
<script async='async' defer='defer' src='/app.js?1295969397'></script>
<meta content='width=device-width, minimum-scale=1.0, maximum-scale=1.0' name='viewport' />
<title>
Data types – Redis
</title>
<script type='text/javascript'>
//<![CDATA[
var _gaq = _gaq || [];
_gaq.push(['_setAccount', 'UA-20243082-1']);
_gaq.push(['_trackPageview']);
(function() {
var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true;
ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js';
var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s);
})();
//]]>
</script>
</head>
"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment