summaryrefslogtreecommitdiff
path: root/docs/search/nomatches.html
diff options
context:
space:
mode:
authorOleg Morozenkov <m@oleg.rocks>2018-07-23 02:09:18 +0300
committerOleg Morozenkov <m@oleg.rocks>2018-07-23 02:09:19 +0300
commitf13b7029e9af43282ebe6c2e9bb4dd749c8e450a (patch)
tree825b8527e09b15bf5f99a4276143c964cf3efa02 /docs/search/nomatches.html
parentd47ee877be5d1175bdc36f2d87881ddaf875a8e9 (diff)
Move docs to gh-pages branch
Diffstat (limited to 'docs/search/nomatches.html')
-rw-r--r--docs/search/nomatches.html12
1 files changed, 0 insertions, 12 deletions
diff --git a/docs/search/nomatches.html b/docs/search/nomatches.html
deleted file mode 100644
index b1ded27..0000000
--- a/docs/search/nomatches.html
+++ /dev/null
@@ -1,12 +0,0 @@
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
-<html><head><title></title>
-<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
-<link rel="stylesheet" type="text/css" href="search.css"/>
-<script type="text/javascript" src="search.js"></script>
-</head>
-<body class="SRPage">
-<div id="SRIndex">
-<div class="SRStatus" id="NoMatches">No Matches</div>
-</div>
-</body>
-</html>