diff options
Diffstat (limited to 'docs/output/search/NoResults.html')
| -rw-r--r-- | docs/output/search/NoResults.html | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/docs/output/search/NoResults.html b/docs/output/search/NoResults.html deleted file mode 100644 index 02ce8886..00000000 --- a/docs/output/search/NoResults.html +++ /dev/null @@ -1,15 +0,0 @@ -<!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 |