annotate doc/html/search/files_6f.html @ 117:ca2d83d29814 tip master

Merge branch 'release/1.0.5'
author Adam Stark <adamstark.uk@gmail.com>
date Fri, 18 Aug 2023 20:07:33 +0200
parents bf256abf1dd4
children
rev   line source
adamstark@60 1 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
adamstark@60 2 <html><head><title></title>
adamstark@60 3 <meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
adamstark@60 4 <link rel="stylesheet" type="text/css" href="search.css"/>
adamstark@60 5 <script type="text/javascript" src="files_6f.js"></script>
adamstark@60 6 <script type="text/javascript" src="search.js"></script>
adamstark@60 7 </head>
adamstark@60 8 <body class="SRPage">
adamstark@60 9 <div id="SRIndex">
adamstark@60 10 <div class="SRStatus" id="Loading">Loading...</div>
adamstark@60 11 <div id="SRResults"></div>
adamstark@60 12 <script type="text/javascript"><!--
adamstark@60 13 createResults();
adamstark@60 14 --></script>
adamstark@60 15 <div class="SRStatus" id="Searching">Searching...</div>
adamstark@60 16 <div class="SRStatus" id="NoMatches">No Matches</div>
adamstark@60 17 <script type="text/javascript"><!--
adamstark@60 18 document.getElementById("Loading").style.display="none";
adamstark@60 19 document.getElementById("NoMatches").style.display="none";
adamstark@60 20 var searchResults = new SearchResults("searchResults");
adamstark@60 21 searchResults.Search();
adamstark@60 22 --></script>
adamstark@60 23 </div>
adamstark@60 24 </body>
adamstark@60 25 </html>