Revize 79e3d7d7
Přidáno uživatelem Michal Horký před téměř 5 roky(ů)
doc/javadoc/index.html | ||
---|---|---|
2 | 2 |
<!-- NewPage --> |
3 | 3 |
<html lang="cs"> |
4 | 4 |
<head> |
5 |
<!-- Generated by javadoc (1.8.0_45) on Thu May 07 16:47:39 CEST 2020 -->
|
|
5 |
<!-- Generated by javadoc (1.8.0_251) on Fri May 08 06:50:23 CEST 2020 -->
|
|
6 | 6 |
<title>Generated Documentation (Untitled)</title> |
7 | 7 |
<script type="text/javascript"> |
8 |
targetPage = "" + window.location.search; |
|
9 |
if (targetPage != "" && targetPage != "undefined") |
|
10 |
targetPage = targetPage.substring(1); |
|
11 |
if (targetPage.indexOf(":") != -1 || (targetPage != "" && !validURL(targetPage))) |
|
12 |
targetPage = "undefined"; |
|
8 |
tmpTargetPage = "" + window.location.search; |
|
9 |
if (tmpTargetPage != "" && tmpTargetPage != "undefined") |
|
10 |
tmpTargetPage = tmpTargetPage.substring(1); |
|
11 |
if (tmpTargetPage.indexOf(":") != -1 || (tmpTargetPage != "" && !validURL(tmpTargetPage))) |
|
12 |
tmpTargetPage = "undefined"; |
|
13 |
targetPage = tmpTargetPage; |
|
13 | 14 |
function validURL(url) { |
14 | 15 |
try { |
15 | 16 |
url = decodeURIComponent(url); |
Také k dispozici: Unified diff
re #7893
Přechod na verzi 8u251 - znovu vygenerovaná dokumentace.