diff options
Diffstat (limited to 'doc/html/globals_0x66.html')
| -rw-r--r-- | doc/html/globals_0x66.html | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/doc/html/globals_0x66.html b/doc/html/globals_0x66.html index 28e9d8c1d..8ea7f4bf7 100644 --- a/doc/html/globals_0x66.html +++ b/doc/html/globals_0x66.html @@ -279,12 +279,6 @@ $(document).ready(function(){initNavTree('globals_0x66.html','');}); <li>format_term_for_display() : <a class="el" href="text_8php.html#adfead45e3b8a3dfb2b4a4b9281d0dbe1">text.php</a> </li> -<li>RED_PLATFORM -: <a class="el" href="boot_8php.html#a7a27d05ec84f9eef2f06097e6b8892f3">boot.php</a> -</li> -<li>RED_VERSION -: <a class="el" href="boot_8php.html#a78d5f284dc096b2a739c1fa47f22b7be">boot.php</a> -</li> <li>fsuggest_content() : <a class="el" href="fsuggest_8php.html#aa6c49ed4b50a387f1845f36844dd7998">fsuggest.php</a> </li> |