diff options
| author | Daniel Santos <dacs.git@brilhante.top> | 2022-03-16 16:18:42 +0000 |
|---|---|---|
| committer | Daniel Santos <dacs.git@brilhante.top> | 2022-03-16 16:18:42 +0000 |
| commit | b1f890b434338322ef2ca7f06a308b056a930b43 (patch) | |
| tree | b312dbafbc87facab80d5990eb4aa7468869d08b /html/search/all_7.html | |
| parent | fdd214282713e22934babc5550d8877f868278ba (diff) | |
| download | numericx-c-b1f890b434338322ef2ca7f06a308b056a930b43.tar.gz | |
remove html/ for submodule
* remove html/* for the creating on a submodule in this directory, so that the documentation can be in a separate branch, for codeberg pages Signed-off-by: Daniel Santos <dacs.git@brilhante.top>
Diffstat (limited to 'html/search/all_7.html')
| -rw-r--r-- | html/search/all_7.html | 37 |
1 files changed, 0 insertions, 37 deletions
diff --git a/html/search/all_7.html b/html/search/all_7.html deleted file mode 100644 index d2b1825..0000000 --- a/html/search/all_7.html +++ /dev/null @@ -1,37 +0,0 @@ -<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> -<html xmlns="http://www.w3.org/1999/xhtml"> -<head><title></title> -<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/> -<meta name="generator" content="Doxygen 1.9.3"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="all_7.js"></script> -<script type="text/javascript" src="search.js"></script> -</head> -<body class="SRPage"> -<div id="SRIndex"> -<div class="SRStatus" id="Loading">Loading...</div> -<div id="SRResults"></div> -<script type="text/javascript"> -/* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&dn=expat.txt MIT */ -createResults(); -/* @license-end */ -</script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"> -/* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&dn=expat.txt MIT */ -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); -window.addEventListener("message", function(event) { - if (event.data == "take_focus") { - var elem = searchResults.NavNext(0); - if (elem) elem.focus(); - } -}); -/* @license-end */ -</script> -</div> -</body> -</html> |