Fri, 20 Dec 2024 21:22:25 +0100
fix outdated documentation in properties.h
390 | 1 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> |
2 | <html><head><title></title> | |
3 | <meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/> | |
4 | <meta name="generator" content="Doxygen 1.8.13"/> | |
5 | <link rel="stylesheet" type="text/css" href="search.css"/> | |
6 | <script type="text/javascript" src="all_4.js"></script> | |
7 | <script type="text/javascript" src="search.js"></script> | |
8 | </head> | |
9 | <body class="SRPage"> | |
10 | <div id="SRIndex"> | |
11 | <div class="SRStatus" id="Loading">Loading...</div> | |
12 | <div id="SRResults"></div> | |
13 | <script type="text/javascript"><!-- | |
14 | createResults(); | |
15 | --></script> | |
16 | <div class="SRStatus" id="Searching">Searching...</div> | |
17 | <div class="SRStatus" id="NoMatches">No Matches</div> | |
18 | <script type="text/javascript"><!-- | |
19 | document.getElementById("Loading").style.display="none"; | |
20 | document.getElementById("NoMatches").style.display="none"; | |
21 | var searchResults = new SearchResults("searchResults"); | |
22 | searchResults.Search(); | |
23 | --></script> | |
24 | </div> | |
25 | </body> | |
26 | </html> |