diff options
author | Jim Flynn <jim.flynn@arm.com> | 2020-03-19 17:09:01 +0000 |
---|---|---|
committer | Jim Flynn <jim.flynn@arm.com> | 2020-03-19 17:09:01 +0000 |
commit | 4e2e213d1f22ccd8021bf654e46397434ee50390 (patch) | |
tree | 1a13d2c5a38d56a7e4c5c13173ad7ae26faf020e /Documentation/search | |
parent | 0e2bab81442ee6cc2b94e4f7881ed0c5c6af65e7 (diff) | |
download | armnn-4e2e213d1f22ccd8021bf654e46397434ee50390.tar.gz |
removed html pages with command 'find . -type f -iname \*.html -delete'
Signed-off-by: Jim Flynn <jim.flynn@arm.com>
Diffstat (limited to 'Documentation/search')
207 files changed, 0 insertions, 5368 deletions
diff --git a/Documentation/search/all_0.html b/Documentation/search/all_0.html deleted file mode 100644 index f25360b71b..0000000000 --- a/Documentation/search/all_0.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="all_0.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/all_1.html b/Documentation/search/all_1.html deleted file mode 100644 index b13f0f7f38..0000000000 --- a/Documentation/search/all_1.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="all_1.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/all_10.html b/Documentation/search/all_10.html deleted file mode 100644 index d1345a1f0d..0000000000 --- a/Documentation/search/all_10.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="all_10.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/all_11.html b/Documentation/search/all_11.html deleted file mode 100644 index 2be8b71111..0000000000 --- a/Documentation/search/all_11.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="all_11.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/all_12.html b/Documentation/search/all_12.html deleted file mode 100644 index 13c526372b..0000000000 --- a/Documentation/search/all_12.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="all_12.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/all_13.html b/Documentation/search/all_13.html deleted file mode 100644 index b4a8bca69e..0000000000 --- a/Documentation/search/all_13.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="all_13.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/all_14.html b/Documentation/search/all_14.html deleted file mode 100644 index fb4d0ecc7b..0000000000 --- a/Documentation/search/all_14.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="all_14.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/all_15.html b/Documentation/search/all_15.html deleted file mode 100644 index 8afe9a0337..0000000000 --- a/Documentation/search/all_15.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="all_15.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/all_16.html b/Documentation/search/all_16.html deleted file mode 100644 index e511edbc1a..0000000000 --- a/Documentation/search/all_16.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="all_16.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/all_17.html b/Documentation/search/all_17.html deleted file mode 100644 index 5ca9efdcdf..0000000000 --- a/Documentation/search/all_17.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="all_17.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/all_18.html b/Documentation/search/all_18.html deleted file mode 100644 index 069edeb76d..0000000000 --- a/Documentation/search/all_18.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="all_18.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/all_19.html b/Documentation/search/all_19.html deleted file mode 100644 index 4fdfe460f3..0000000000 --- a/Documentation/search/all_19.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="all_19.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/all_1a.html b/Documentation/search/all_1a.html deleted file mode 100644 index 8c85d9dd79..0000000000 --- a/Documentation/search/all_1a.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="all_1a.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/all_2.html b/Documentation/search/all_2.html deleted file mode 100644 index 9543c57b1d..0000000000 --- a/Documentation/search/all_2.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="all_2.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/all_3.html b/Documentation/search/all_3.html deleted file mode 100644 index 03405c0fb2..0000000000 --- a/Documentation/search/all_3.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="all_3.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/all_4.html b/Documentation/search/all_4.html deleted file mode 100644 index 8e1f4b9cd9..0000000000 --- a/Documentation/search/all_4.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="all_4.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/all_5.html b/Documentation/search/all_5.html deleted file mode 100644 index 89a879ea9b..0000000000 --- a/Documentation/search/all_5.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="all_5.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/all_6.html b/Documentation/search/all_6.html deleted file mode 100644 index 6afac06622..0000000000 --- a/Documentation/search/all_6.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="all_6.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/all_7.html b/Documentation/search/all_7.html deleted file mode 100644 index de19107705..0000000000 --- a/Documentation/search/all_7.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/all_8.html b/Documentation/search/all_8.html deleted file mode 100644 index 11e27cdb44..0000000000 --- a/Documentation/search/all_8.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="all_8.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/all_9.html b/Documentation/search/all_9.html deleted file mode 100644 index f8abbbe590..0000000000 --- a/Documentation/search/all_9.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="all_9.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/all_a.html b/Documentation/search/all_a.html deleted file mode 100644 index 9601fcee13..0000000000 --- a/Documentation/search/all_a.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="all_a.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/all_b.html b/Documentation/search/all_b.html deleted file mode 100644 index 0814e4e03d..0000000000 --- a/Documentation/search/all_b.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="all_b.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/all_c.html b/Documentation/search/all_c.html deleted file mode 100644 index da08c387a3..0000000000 --- a/Documentation/search/all_c.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="all_c.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/all_d.html b/Documentation/search/all_d.html deleted file mode 100644 index 9986c9cbf7..0000000000 --- a/Documentation/search/all_d.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="all_d.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/all_e.html b/Documentation/search/all_e.html deleted file mode 100644 index 9fa42bbace..0000000000 --- a/Documentation/search/all_e.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="all_e.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/all_f.html b/Documentation/search/all_f.html deleted file mode 100644 index 6ecfc0ed83..0000000000 --- a/Documentation/search/all_f.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="all_f.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/classes_0.html b/Documentation/search/classes_0.html deleted file mode 100644 index 1c3e406ac8..0000000000 --- a/Documentation/search/classes_0.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="classes_0.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/classes_1.html b/Documentation/search/classes_1.html deleted file mode 100644 index a8e7069508..0000000000 --- a/Documentation/search/classes_1.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="classes_1.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/classes_10.html b/Documentation/search/classes_10.html deleted file mode 100644 index c1a9355706..0000000000 --- a/Documentation/search/classes_10.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="classes_10.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/classes_11.html b/Documentation/search/classes_11.html deleted file mode 100644 index 2df8ed332f..0000000000 --- a/Documentation/search/classes_11.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="classes_11.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/classes_12.html b/Documentation/search/classes_12.html deleted file mode 100644 index 94132451f0..0000000000 --- a/Documentation/search/classes_12.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="classes_12.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/classes_13.html b/Documentation/search/classes_13.html deleted file mode 100644 index 00fb7b0e50..0000000000 --- a/Documentation/search/classes_13.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="classes_13.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/classes_14.html b/Documentation/search/classes_14.html deleted file mode 100644 index 1591644ba8..0000000000 --- a/Documentation/search/classes_14.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="classes_14.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/classes_15.html b/Documentation/search/classes_15.html deleted file mode 100644 index 7287d6ac1b..0000000000 --- a/Documentation/search/classes_15.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="classes_15.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/classes_16.html b/Documentation/search/classes_16.html deleted file mode 100644 index 3ca7fe1390..0000000000 --- a/Documentation/search/classes_16.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="classes_16.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/classes_2.html b/Documentation/search/classes_2.html deleted file mode 100644 index 5c09c9691e..0000000000 --- a/Documentation/search/classes_2.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="classes_2.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/classes_3.html b/Documentation/search/classes_3.html deleted file mode 100644 index 5faaeba81c..0000000000 --- a/Documentation/search/classes_3.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="classes_3.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/classes_4.html b/Documentation/search/classes_4.html deleted file mode 100644 index b3f11bc787..0000000000 --- a/Documentation/search/classes_4.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="classes_4.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/classes_5.html b/Documentation/search/classes_5.html deleted file mode 100644 index 952ace6f49..0000000000 --- a/Documentation/search/classes_5.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="classes_5.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/classes_6.html b/Documentation/search/classes_6.html deleted file mode 100644 index 75eef9f429..0000000000 --- a/Documentation/search/classes_6.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="classes_6.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/classes_7.html b/Documentation/search/classes_7.html deleted file mode 100644 index 745f5f282e..0000000000 --- a/Documentation/search/classes_7.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="classes_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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/classes_8.html b/Documentation/search/classes_8.html deleted file mode 100644 index 5a443d9d55..0000000000 --- a/Documentation/search/classes_8.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="classes_8.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/classes_9.html b/Documentation/search/classes_9.html deleted file mode 100644 index 9cb55be44f..0000000000 --- a/Documentation/search/classes_9.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="classes_9.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/classes_a.html b/Documentation/search/classes_a.html deleted file mode 100644 index 54940d78fd..0000000000 --- a/Documentation/search/classes_a.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="classes_a.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/classes_b.html b/Documentation/search/classes_b.html deleted file mode 100644 index 6071ae049f..0000000000 --- a/Documentation/search/classes_b.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="classes_b.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/classes_c.html b/Documentation/search/classes_c.html deleted file mode 100644 index 6cf1d00807..0000000000 --- a/Documentation/search/classes_c.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="classes_c.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/classes_d.html b/Documentation/search/classes_d.html deleted file mode 100644 index d4a7ed7ade..0000000000 --- a/Documentation/search/classes_d.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="classes_d.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/classes_e.html b/Documentation/search/classes_e.html deleted file mode 100644 index 9a9f48c362..0000000000 --- a/Documentation/search/classes_e.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="classes_e.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/classes_f.html b/Documentation/search/classes_f.html deleted file mode 100644 index a128d60beb..0000000000 --- a/Documentation/search/classes_f.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="classes_f.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/defines_0.html b/Documentation/search/defines_0.html deleted file mode 100644 index 5b252045ff..0000000000 --- a/Documentation/search/defines_0.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="defines_0.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/defines_1.html b/Documentation/search/defines_1.html deleted file mode 100644 index 91488cb5a1..0000000000 --- a/Documentation/search/defines_1.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="defines_1.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/defines_2.html b/Documentation/search/defines_2.html deleted file mode 100644 index 8655993934..0000000000 --- a/Documentation/search/defines_2.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="defines_2.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/defines_3.html b/Documentation/search/defines_3.html deleted file mode 100644 index a55d3ffb5a..0000000000 --- a/Documentation/search/defines_3.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="defines_3.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/defines_4.html b/Documentation/search/defines_4.html deleted file mode 100644 index 54da39acd4..0000000000 --- a/Documentation/search/defines_4.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="defines_4.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/defines_5.html b/Documentation/search/defines_5.html deleted file mode 100644 index dd7bfdc6d8..0000000000 --- a/Documentation/search/defines_5.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="defines_5.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/defines_6.html b/Documentation/search/defines_6.html deleted file mode 100644 index 58d00e917f..0000000000 --- a/Documentation/search/defines_6.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="defines_6.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/defines_7.html b/Documentation/search/defines_7.html deleted file mode 100644 index 275e1b3c97..0000000000 --- a/Documentation/search/defines_7.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="defines_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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/defines_8.html b/Documentation/search/defines_8.html deleted file mode 100644 index de651d9de9..0000000000 --- a/Documentation/search/defines_8.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="defines_8.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/defines_9.html b/Documentation/search/defines_9.html deleted file mode 100644 index a93bb53c7c..0000000000 --- a/Documentation/search/defines_9.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="defines_9.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/defines_a.html b/Documentation/search/defines_a.html deleted file mode 100644 index cf4841d9b9..0000000000 --- a/Documentation/search/defines_a.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="defines_a.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/defines_b.html b/Documentation/search/defines_b.html deleted file mode 100644 index 26cf44fee8..0000000000 --- a/Documentation/search/defines_b.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="defines_b.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/defines_c.html b/Documentation/search/defines_c.html deleted file mode 100644 index eca33bee71..0000000000 --- a/Documentation/search/defines_c.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="defines_c.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/enums_0.html b/Documentation/search/enums_0.html deleted file mode 100644 index ee343ac0bb..0000000000 --- a/Documentation/search/enums_0.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="enums_0.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/enums_1.html b/Documentation/search/enums_1.html deleted file mode 100644 index 3fd210a06b..0000000000 --- a/Documentation/search/enums_1.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="enums_1.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/enums_10.html b/Documentation/search/enums_10.html deleted file mode 100644 index bc6791f173..0000000000 --- a/Documentation/search/enums_10.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="enums_10.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/enums_11.html b/Documentation/search/enums_11.html deleted file mode 100644 index 8c9ccf036a..0000000000 --- a/Documentation/search/enums_11.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="enums_11.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/enums_12.html b/Documentation/search/enums_12.html deleted file mode 100644 index 42cdbd665f..0000000000 --- a/Documentation/search/enums_12.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="enums_12.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/enums_2.html b/Documentation/search/enums_2.html deleted file mode 100644 index a042e520e0..0000000000 --- a/Documentation/search/enums_2.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="enums_2.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/enums_3.html b/Documentation/search/enums_3.html deleted file mode 100644 index 265e0cb935..0000000000 --- a/Documentation/search/enums_3.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="enums_3.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/enums_4.html b/Documentation/search/enums_4.html deleted file mode 100644 index 97ee07fb66..0000000000 --- a/Documentation/search/enums_4.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="enums_4.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/enums_5.html b/Documentation/search/enums_5.html deleted file mode 100644 index f837d25f2f..0000000000 --- a/Documentation/search/enums_5.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="enums_5.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/enums_6.html b/Documentation/search/enums_6.html deleted file mode 100644 index 56491ab5a8..0000000000 --- a/Documentation/search/enums_6.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="enums_6.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/enums_7.html b/Documentation/search/enums_7.html deleted file mode 100644 index 585177314d..0000000000 --- a/Documentation/search/enums_7.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="enums_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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/enums_8.html b/Documentation/search/enums_8.html deleted file mode 100644 index 74b2e2184f..0000000000 --- a/Documentation/search/enums_8.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="enums_8.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/enums_9.html b/Documentation/search/enums_9.html deleted file mode 100644 index c08dec7c98..0000000000 --- a/Documentation/search/enums_9.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="enums_9.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/enums_a.html b/Documentation/search/enums_a.html deleted file mode 100644 index dd85c0d00c..0000000000 --- a/Documentation/search/enums_a.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="enums_a.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/enums_b.html b/Documentation/search/enums_b.html deleted file mode 100644 index df0e28784d..0000000000 --- a/Documentation/search/enums_b.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="enums_b.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/enums_c.html b/Documentation/search/enums_c.html deleted file mode 100644 index 326f9f887d..0000000000 --- a/Documentation/search/enums_c.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="enums_c.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/enums_d.html b/Documentation/search/enums_d.html deleted file mode 100644 index 597c54b218..0000000000 --- a/Documentation/search/enums_d.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="enums_d.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/enums_e.html b/Documentation/search/enums_e.html deleted file mode 100644 index 2881a15125..0000000000 --- a/Documentation/search/enums_e.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="enums_e.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/enums_f.html b/Documentation/search/enums_f.html deleted file mode 100644 index 4cb1b976f7..0000000000 --- a/Documentation/search/enums_f.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="enums_f.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/enumvalues_0.html b/Documentation/search/enumvalues_0.html deleted file mode 100644 index 9387b6a373..0000000000 --- a/Documentation/search/enumvalues_0.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="enumvalues_0.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/enumvalues_1.html b/Documentation/search/enumvalues_1.html deleted file mode 100644 index f622aba99a..0000000000 --- a/Documentation/search/enumvalues_1.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="enumvalues_1.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/enumvalues_10.html b/Documentation/search/enumvalues_10.html deleted file mode 100644 index f211cc3fe1..0000000000 --- a/Documentation/search/enumvalues_10.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="enumvalues_10.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/enumvalues_11.html b/Documentation/search/enumvalues_11.html deleted file mode 100644 index 907a63ea39..0000000000 --- a/Documentation/search/enumvalues_11.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="enumvalues_11.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/enumvalues_12.html b/Documentation/search/enumvalues_12.html deleted file mode 100644 index 1adc2201ee..0000000000 --- a/Documentation/search/enumvalues_12.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="enumvalues_12.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/enumvalues_13.html b/Documentation/search/enumvalues_13.html deleted file mode 100644 index 33dab2be7c..0000000000 --- a/Documentation/search/enumvalues_13.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="enumvalues_13.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/enumvalues_2.html b/Documentation/search/enumvalues_2.html deleted file mode 100644 index d4990784f2..0000000000 --- a/Documentation/search/enumvalues_2.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="enumvalues_2.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/enumvalues_3.html b/Documentation/search/enumvalues_3.html deleted file mode 100644 index b4fc3ee84f..0000000000 --- a/Documentation/search/enumvalues_3.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="enumvalues_3.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/enumvalues_4.html b/Documentation/search/enumvalues_4.html deleted file mode 100644 index d6f69ac954..0000000000 --- a/Documentation/search/enumvalues_4.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="enumvalues_4.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/enumvalues_5.html b/Documentation/search/enumvalues_5.html deleted file mode 100644 index 43a28d17e1..0000000000 --- a/Documentation/search/enumvalues_5.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="enumvalues_5.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/enumvalues_6.html b/Documentation/search/enumvalues_6.html deleted file mode 100644 index 7439ee17b3..0000000000 --- a/Documentation/search/enumvalues_6.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="enumvalues_6.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/enumvalues_7.html b/Documentation/search/enumvalues_7.html deleted file mode 100644 index ab72ef1f4b..0000000000 --- a/Documentation/search/enumvalues_7.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="enumvalues_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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/enumvalues_8.html b/Documentation/search/enumvalues_8.html deleted file mode 100644 index a0e8f1c802..0000000000 --- a/Documentation/search/enumvalues_8.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="enumvalues_8.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/enumvalues_9.html b/Documentation/search/enumvalues_9.html deleted file mode 100644 index 9051459bf4..0000000000 --- a/Documentation/search/enumvalues_9.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="enumvalues_9.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/enumvalues_a.html b/Documentation/search/enumvalues_a.html deleted file mode 100644 index f10160a657..0000000000 --- a/Documentation/search/enumvalues_a.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="enumvalues_a.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/enumvalues_b.html b/Documentation/search/enumvalues_b.html deleted file mode 100644 index 0e2cb48c19..0000000000 --- a/Documentation/search/enumvalues_b.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="enumvalues_b.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/enumvalues_c.html b/Documentation/search/enumvalues_c.html deleted file mode 100644 index 82ba68a4c9..0000000000 --- a/Documentation/search/enumvalues_c.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="enumvalues_c.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/enumvalues_d.html b/Documentation/search/enumvalues_d.html deleted file mode 100644 index 8516692dc2..0000000000 --- a/Documentation/search/enumvalues_d.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="enumvalues_d.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/enumvalues_e.html b/Documentation/search/enumvalues_e.html deleted file mode 100644 index d95adb6f0d..0000000000 --- a/Documentation/search/enumvalues_e.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="enumvalues_e.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/enumvalues_f.html b/Documentation/search/enumvalues_f.html deleted file mode 100644 index 1cced59ff4..0000000000 --- a/Documentation/search/enumvalues_f.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="enumvalues_f.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/files_0.html b/Documentation/search/files_0.html deleted file mode 100644 index 4f272b83a4..0000000000 --- a/Documentation/search/files_0.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="files_0.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/files_1.html b/Documentation/search/files_1.html deleted file mode 100644 index dcce422371..0000000000 --- a/Documentation/search/files_1.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="files_1.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/files_10.html b/Documentation/search/files_10.html deleted file mode 100644 index d2187f6c6f..0000000000 --- a/Documentation/search/files_10.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="files_10.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/files_11.html b/Documentation/search/files_11.html deleted file mode 100644 index a5e6888138..0000000000 --- a/Documentation/search/files_11.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="files_11.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/files_12.html b/Documentation/search/files_12.html deleted file mode 100644 index 0bfddb7ece..0000000000 --- a/Documentation/search/files_12.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="files_12.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/files_13.html b/Documentation/search/files_13.html deleted file mode 100644 index 09d9adf3c6..0000000000 --- a/Documentation/search/files_13.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="files_13.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/files_14.html b/Documentation/search/files_14.html deleted file mode 100644 index dd15fd24f4..0000000000 --- a/Documentation/search/files_14.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="files_14.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/files_15.html b/Documentation/search/files_15.html deleted file mode 100644 index 2af1ae69f9..0000000000 --- a/Documentation/search/files_15.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="files_15.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/files_16.html b/Documentation/search/files_16.html deleted file mode 100644 index 97af54db78..0000000000 --- a/Documentation/search/files_16.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="files_16.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/files_17.html b/Documentation/search/files_17.html deleted file mode 100644 index d9d16bccd9..0000000000 --- a/Documentation/search/files_17.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="files_17.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/files_2.html b/Documentation/search/files_2.html deleted file mode 100644 index d5c6c3be3d..0000000000 --- a/Documentation/search/files_2.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="files_2.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/files_3.html b/Documentation/search/files_3.html deleted file mode 100644 index d5a9528444..0000000000 --- a/Documentation/search/files_3.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="files_3.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/files_4.html b/Documentation/search/files_4.html deleted file mode 100644 index 7b4c42a079..0000000000 --- a/Documentation/search/files_4.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="files_4.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/files_5.html b/Documentation/search/files_5.html deleted file mode 100644 index 1f77bb1215..0000000000 --- a/Documentation/search/files_5.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="files_5.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/files_6.html b/Documentation/search/files_6.html deleted file mode 100644 index 7573254f84..0000000000 --- a/Documentation/search/files_6.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="files_6.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/files_7.html b/Documentation/search/files_7.html deleted file mode 100644 index 214b329dcf..0000000000 --- a/Documentation/search/files_7.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="files_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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/files_8.html b/Documentation/search/files_8.html deleted file mode 100644 index 6720c7c35b..0000000000 --- a/Documentation/search/files_8.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="files_8.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/files_9.html b/Documentation/search/files_9.html deleted file mode 100644 index fc95877920..0000000000 --- a/Documentation/search/files_9.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="files_9.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/files_a.html b/Documentation/search/files_a.html deleted file mode 100644 index ffe3e9d640..0000000000 --- a/Documentation/search/files_a.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="files_a.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/files_b.html b/Documentation/search/files_b.html deleted file mode 100644 index 32cd2be99b..0000000000 --- a/Documentation/search/files_b.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="files_b.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/files_c.html b/Documentation/search/files_c.html deleted file mode 100644 index bb83608687..0000000000 --- a/Documentation/search/files_c.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="files_c.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/files_d.html b/Documentation/search/files_d.html deleted file mode 100644 index 38bf2b3b81..0000000000 --- a/Documentation/search/files_d.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="files_d.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/files_e.html b/Documentation/search/files_e.html deleted file mode 100644 index 6f84762156..0000000000 --- a/Documentation/search/files_e.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="files_e.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/files_f.html b/Documentation/search/files_f.html deleted file mode 100644 index 75680638d1..0000000000 --- a/Documentation/search/files_f.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="files_f.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/functions_0.html b/Documentation/search/functions_0.html deleted file mode 100644 index 4e6d87d152..0000000000 --- a/Documentation/search/functions_0.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="functions_0.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/functions_1.html b/Documentation/search/functions_1.html deleted file mode 100644 index b343e2db57..0000000000 --- a/Documentation/search/functions_1.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="functions_1.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/functions_10.html b/Documentation/search/functions_10.html deleted file mode 100644 index 72bc1ea1f5..0000000000 --- a/Documentation/search/functions_10.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="functions_10.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/functions_11.html b/Documentation/search/functions_11.html deleted file mode 100644 index 6948a61556..0000000000 --- a/Documentation/search/functions_11.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="functions_11.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/functions_12.html b/Documentation/search/functions_12.html deleted file mode 100644 index 3df8489244..0000000000 --- a/Documentation/search/functions_12.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="functions_12.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/functions_13.html b/Documentation/search/functions_13.html deleted file mode 100644 index febf8e03d0..0000000000 --- a/Documentation/search/functions_13.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="functions_13.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/functions_14.html b/Documentation/search/functions_14.html deleted file mode 100644 index 4c814f5abf..0000000000 --- a/Documentation/search/functions_14.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="functions_14.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/functions_15.html b/Documentation/search/functions_15.html deleted file mode 100644 index 0f002b8a82..0000000000 --- a/Documentation/search/functions_15.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="functions_15.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/functions_16.html b/Documentation/search/functions_16.html deleted file mode 100644 index 28a502511d..0000000000 --- a/Documentation/search/functions_16.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="functions_16.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/functions_17.html b/Documentation/search/functions_17.html deleted file mode 100644 index dabb214d66..0000000000 --- a/Documentation/search/functions_17.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="functions_17.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/functions_18.html b/Documentation/search/functions_18.html deleted file mode 100644 index 8a9723d743..0000000000 --- a/Documentation/search/functions_18.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="functions_18.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/functions_2.html b/Documentation/search/functions_2.html deleted file mode 100644 index ecce2f3186..0000000000 --- a/Documentation/search/functions_2.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="functions_2.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/functions_3.html b/Documentation/search/functions_3.html deleted file mode 100644 index 15f06abdc2..0000000000 --- a/Documentation/search/functions_3.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="functions_3.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/functions_4.html b/Documentation/search/functions_4.html deleted file mode 100644 index 8985ff2787..0000000000 --- a/Documentation/search/functions_4.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="functions_4.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/functions_5.html b/Documentation/search/functions_5.html deleted file mode 100644 index 03149184b8..0000000000 --- a/Documentation/search/functions_5.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="functions_5.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/functions_6.html b/Documentation/search/functions_6.html deleted file mode 100644 index c50612362c..0000000000 --- a/Documentation/search/functions_6.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="functions_6.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/functions_7.html b/Documentation/search/functions_7.html deleted file mode 100644 index 83a7b84b77..0000000000 --- a/Documentation/search/functions_7.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="functions_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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/functions_8.html b/Documentation/search/functions_8.html deleted file mode 100644 index b55f0e65f4..0000000000 --- a/Documentation/search/functions_8.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="functions_8.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/functions_9.html b/Documentation/search/functions_9.html deleted file mode 100644 index c73f07bb52..0000000000 --- a/Documentation/search/functions_9.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="functions_9.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/functions_a.html b/Documentation/search/functions_a.html deleted file mode 100644 index f10ad638c3..0000000000 --- a/Documentation/search/functions_a.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="functions_a.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/functions_b.html b/Documentation/search/functions_b.html deleted file mode 100644 index 172ea1b313..0000000000 --- a/Documentation/search/functions_b.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="functions_b.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/functions_c.html b/Documentation/search/functions_c.html deleted file mode 100644 index 99492ba8e8..0000000000 --- a/Documentation/search/functions_c.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="functions_c.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/functions_d.html b/Documentation/search/functions_d.html deleted file mode 100644 index 5be9eccb7f..0000000000 --- a/Documentation/search/functions_d.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="functions_d.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/functions_e.html b/Documentation/search/functions_e.html deleted file mode 100644 index e256cb630f..0000000000 --- a/Documentation/search/functions_e.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="functions_e.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/functions_f.html b/Documentation/search/functions_f.html deleted file mode 100644 index 424126cd79..0000000000 --- a/Documentation/search/functions_f.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="functions_f.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/namespaces_0.html b/Documentation/search/namespaces_0.html deleted file mode 100644 index 605ac452c9..0000000000 --- a/Documentation/search/namespaces_0.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="namespaces_0.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/namespaces_1.html b/Documentation/search/namespaces_1.html deleted file mode 100644 index f093550a67..0000000000 --- a/Documentation/search/namespaces_1.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="namespaces_1.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/namespaces_2.html b/Documentation/search/namespaces_2.html deleted file mode 100644 index 1a1cbe16ea..0000000000 --- a/Documentation/search/namespaces_2.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="namespaces_2.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/nomatches.html b/Documentation/search/nomatches.html deleted file mode 100644 index b1ded27e9a..0000000000 --- a/Documentation/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> diff --git a/Documentation/search/pages_0.html b/Documentation/search/pages_0.html deleted file mode 100644 index 4955b9e4f8..0000000000 --- a/Documentation/search/pages_0.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="pages_0.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/pages_1.html b/Documentation/search/pages_1.html deleted file mode 100644 index aedb14ee2a..0000000000 --- a/Documentation/search/pages_1.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="pages_1.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/pages_2.html b/Documentation/search/pages_2.html deleted file mode 100644 index bd9159398f..0000000000 --- a/Documentation/search/pages_2.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="pages_2.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/pages_3.html b/Documentation/search/pages_3.html deleted file mode 100644 index bc0e37f20b..0000000000 --- a/Documentation/search/pages_3.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="pages_3.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/pages_4.html b/Documentation/search/pages_4.html deleted file mode 100644 index d4c3e8e9f6..0000000000 --- a/Documentation/search/pages_4.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="pages_4.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/pages_5.html b/Documentation/search/pages_5.html deleted file mode 100644 index af17efeb8e..0000000000 --- a/Documentation/search/pages_5.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="pages_5.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/pages_6.html b/Documentation/search/pages_6.html deleted file mode 100644 index 52583b33e8..0000000000 --- a/Documentation/search/pages_6.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="pages_6.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/related_0.html b/Documentation/search/related_0.html deleted file mode 100644 index 1db947bcfb..0000000000 --- a/Documentation/search/related_0.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="related_0.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/related_1.html b/Documentation/search/related_1.html deleted file mode 100644 index 413c6d4c38..0000000000 --- a/Documentation/search/related_1.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="related_1.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/related_2.html b/Documentation/search/related_2.html deleted file mode 100644 index 60d1edea26..0000000000 --- a/Documentation/search/related_2.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="related_2.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/related_3.html b/Documentation/search/related_3.html deleted file mode 100644 index 7b0e1d2af4..0000000000 --- a/Documentation/search/related_3.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="related_3.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/typedefs_0.html b/Documentation/search/typedefs_0.html deleted file mode 100644 index 05722e1ccd..0000000000 --- a/Documentation/search/typedefs_0.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="typedefs_0.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/typedefs_1.html b/Documentation/search/typedefs_1.html deleted file mode 100644 index b77c53383e..0000000000 --- a/Documentation/search/typedefs_1.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="typedefs_1.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/typedefs_10.html b/Documentation/search/typedefs_10.html deleted file mode 100644 index 88130552aa..0000000000 --- a/Documentation/search/typedefs_10.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="typedefs_10.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/typedefs_11.html b/Documentation/search/typedefs_11.html deleted file mode 100644 index 170f24a2c8..0000000000 --- a/Documentation/search/typedefs_11.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="typedefs_11.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/typedefs_12.html b/Documentation/search/typedefs_12.html deleted file mode 100644 index 0cc11593a0..0000000000 --- a/Documentation/search/typedefs_12.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="typedefs_12.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/typedefs_13.html b/Documentation/search/typedefs_13.html deleted file mode 100644 index 7fad810567..0000000000 --- a/Documentation/search/typedefs_13.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="typedefs_13.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/typedefs_14.html b/Documentation/search/typedefs_14.html deleted file mode 100644 index 0f74392c8e..0000000000 --- a/Documentation/search/typedefs_14.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="typedefs_14.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/typedefs_15.html b/Documentation/search/typedefs_15.html deleted file mode 100644 index d350c28b53..0000000000 --- a/Documentation/search/typedefs_15.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="typedefs_15.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/typedefs_2.html b/Documentation/search/typedefs_2.html deleted file mode 100644 index 076311dc57..0000000000 --- a/Documentation/search/typedefs_2.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="typedefs_2.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/typedefs_3.html b/Documentation/search/typedefs_3.html deleted file mode 100644 index a4a727ff10..0000000000 --- a/Documentation/search/typedefs_3.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="typedefs_3.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/typedefs_4.html b/Documentation/search/typedefs_4.html deleted file mode 100644 index be033cd198..0000000000 --- a/Documentation/search/typedefs_4.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="typedefs_4.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/typedefs_5.html b/Documentation/search/typedefs_5.html deleted file mode 100644 index e10c325b59..0000000000 --- a/Documentation/search/typedefs_5.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="typedefs_5.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/typedefs_6.html b/Documentation/search/typedefs_6.html deleted file mode 100644 index 4e206e874c..0000000000 --- a/Documentation/search/typedefs_6.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="typedefs_6.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/typedefs_7.html b/Documentation/search/typedefs_7.html deleted file mode 100644 index cc182ee6c1..0000000000 --- a/Documentation/search/typedefs_7.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="typedefs_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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/typedefs_8.html b/Documentation/search/typedefs_8.html deleted file mode 100644 index 9379676b7c..0000000000 --- a/Documentation/search/typedefs_8.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="typedefs_8.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/typedefs_9.html b/Documentation/search/typedefs_9.html deleted file mode 100644 index 6f2b9ea41e..0000000000 --- a/Documentation/search/typedefs_9.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="typedefs_9.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/typedefs_a.html b/Documentation/search/typedefs_a.html deleted file mode 100644 index b897e1cf7d..0000000000 --- a/Documentation/search/typedefs_a.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="typedefs_a.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/typedefs_b.html b/Documentation/search/typedefs_b.html deleted file mode 100644 index 23bfdac3ee..0000000000 --- a/Documentation/search/typedefs_b.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="typedefs_b.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/typedefs_c.html b/Documentation/search/typedefs_c.html deleted file mode 100644 index 28f5aad209..0000000000 --- a/Documentation/search/typedefs_c.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="typedefs_c.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/typedefs_d.html b/Documentation/search/typedefs_d.html deleted file mode 100644 index 15794829d5..0000000000 --- a/Documentation/search/typedefs_d.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="typedefs_d.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/typedefs_e.html b/Documentation/search/typedefs_e.html deleted file mode 100644 index f61d902eb9..0000000000 --- a/Documentation/search/typedefs_e.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="typedefs_e.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/typedefs_f.html b/Documentation/search/typedefs_f.html deleted file mode 100644 index aefe57589e..0000000000 --- a/Documentation/search/typedefs_f.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="typedefs_f.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/variables_0.html b/Documentation/search/variables_0.html deleted file mode 100644 index 74ce807248..0000000000 --- a/Documentation/search/variables_0.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="variables_0.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/variables_1.html b/Documentation/search/variables_1.html deleted file mode 100644 index 84237b6e77..0000000000 --- a/Documentation/search/variables_1.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="variables_1.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/variables_10.html b/Documentation/search/variables_10.html deleted file mode 100644 index 548ac843ec..0000000000 --- a/Documentation/search/variables_10.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="variables_10.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/variables_11.html b/Documentation/search/variables_11.html deleted file mode 100644 index d5be914513..0000000000 --- a/Documentation/search/variables_11.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="variables_11.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/variables_12.html b/Documentation/search/variables_12.html deleted file mode 100644 index b62e1ee13e..0000000000 --- a/Documentation/search/variables_12.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="variables_12.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/variables_2.html b/Documentation/search/variables_2.html deleted file mode 100644 index 5c9de1aabf..0000000000 --- a/Documentation/search/variables_2.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="variables_2.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/variables_3.html b/Documentation/search/variables_3.html deleted file mode 100644 index f95e34c60f..0000000000 --- a/Documentation/search/variables_3.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="variables_3.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/variables_4.html b/Documentation/search/variables_4.html deleted file mode 100644 index d7db285eee..0000000000 --- a/Documentation/search/variables_4.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="variables_4.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/variables_5.html b/Documentation/search/variables_5.html deleted file mode 100644 index 7bbceeb0db..0000000000 --- a/Documentation/search/variables_5.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="variables_5.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/variables_6.html b/Documentation/search/variables_6.html deleted file mode 100644 index 4eb162d674..0000000000 --- a/Documentation/search/variables_6.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="variables_6.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/variables_7.html b/Documentation/search/variables_7.html deleted file mode 100644 index 0408829580..0000000000 --- a/Documentation/search/variables_7.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="variables_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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/variables_8.html b/Documentation/search/variables_8.html deleted file mode 100644 index d54d096660..0000000000 --- a/Documentation/search/variables_8.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="variables_8.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/variables_9.html b/Documentation/search/variables_9.html deleted file mode 100644 index 234dc60a4a..0000000000 --- a/Documentation/search/variables_9.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="variables_9.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/variables_a.html b/Documentation/search/variables_a.html deleted file mode 100644 index 0892488159..0000000000 --- a/Documentation/search/variables_a.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="variables_a.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/variables_b.html b/Documentation/search/variables_b.html deleted file mode 100644 index ea46965c3a..0000000000 --- a/Documentation/search/variables_b.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="variables_b.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/variables_c.html b/Documentation/search/variables_c.html deleted file mode 100644 index 94bf1a67c1..0000000000 --- a/Documentation/search/variables_c.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="variables_c.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/variables_d.html b/Documentation/search/variables_d.html deleted file mode 100644 index b9381e99e3..0000000000 --- a/Documentation/search/variables_d.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="variables_d.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/variables_e.html b/Documentation/search/variables_e.html deleted file mode 100644 index 375ad705d8..0000000000 --- a/Documentation/search/variables_e.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="variables_e.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> diff --git a/Documentation/search/variables_f.html b/Documentation/search/variables_f.html deleted file mode 100644 index d371418668..0000000000 --- a/Documentation/search/variables_f.html +++ /dev/null @@ -1,26 +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"/> -<meta name="generator" content="Doxygen 1.8.13"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="variables_f.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"><!-- -createResults(); ---></script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"><!-- -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); ---></script> -</div> -</body> -</html> |