We are currently indexing your data, so search results may be incomplete until we finish.
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/html4/loose.dtd">
<html>
<head>
<title>{% trans filename=filename, docstitle=docstitle|e %}{{ filename }} — {{ docstitle }}{% endtrans %}</title>
<style type="text/css">
.hl { background-color: yellow }
</style>
</head>
<body style="font-size: 90%">
<pre>
{{ text }}
</pre>
</body>
</html>
|
Loading...