diff options
Diffstat (limited to 'docs/output/search/NoResults.html')
| -rw-r--r-- | docs/output/search/NoResults.html | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/docs/output/search/NoResults.html b/docs/output/search/NoResults.html new file mode 100644 index 00000000..02ce8886 --- /dev/null +++ b/docs/output/search/NoResults.html @@ -0,0 +1,15 @@ +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0//EN" "http://www.w3.org/TR/REC-html40/strict.dtd"> + +<html><head><link rel="stylesheet" type="text/css" href="../styles/main.css"><script language=JavaScript src="../javascript/main.js"></script></head><body class="PopupSearchResultsPage" onLoad="NDOnLoad()"><script language=JavaScript><!-- +if (browserType) {document.write("<div class=" + browserType + ">");if (browserVer) {document.write("<div class=" + browserVer + ">"); }}// --></script> + +<!-- Generated by Natural Docs, version 1.4 --> +<!-- http://www.naturaldocs.org --> + +<!-- saved from url=(0026)http://www.naturaldocs.org --> + + + + +<div id=Index><div class=SRStatus id=NoMatches>No Matches</div></div><script language=JavaScript><!-- +if (browserType) {if (browserVer) {document.write("</div>"); }document.write("</div>");}// --></script></body></html> \ No newline at end of file |