Skip to content

Commit 39a2946

Browse files
jbgijbgi
committed
Fix javadoc version
1 parent 596bfc2 commit 39a2946

File tree

324 files changed

+618
-618
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

324 files changed

+618
-618
lines changed

‎javadoc/4.7/functionaljava-java-core/allclasses-frame.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
<html lang="fr">
44
<head>
55
<!-- Generated by javadoc (1.8.0_121) on Mon Mar 27 21:37:21 CEST 2017 -->
6-
<title>All Classes (java-core 4.8-SNAPSHOT API)</title>
6+
<title>All Classes (java-core 4.7 API)</title>
77
<meta name="date" content="2017-03-27">
88
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
99
<script type="text/javascript" src="script.js"></script>

‎javadoc/4.7/functionaljava-java-core/allclasses-noframe.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
<html lang="fr">
44
<head>
55
<!-- Generated by javadoc (1.8.0_121) on Mon Mar 27 21:37:21 CEST 2017 -->
6-
<title>All Classes (java-core 4.8-SNAPSHOT API)</title>
6+
<title>All Classes (java-core 4.7 API)</title>
77
<meta name="date" content="2017-03-27">
88
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
99
<script type="text/javascript" src="script.js"></script>

‎javadoc/4.7/functionaljava-java-core/constant-values.html‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
<html lang="fr">
44
<head>
55
<!-- Generated by javadoc (1.8.0_121) on Mon Mar 27 21:37:21 CEST 2017 -->
6-
<title>Constant Field Values (java-core 4.8-SNAPSHOT API)</title>
6+
<title>Constant Field Values (java-core 4.7 API)</title>
77
<meta name="date" content="2017-03-27">
88
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
99
<script type="text/javascript" src="script.js"></script>
@@ -12,7 +12,7 @@
1212
<script type="text/javascript"><!--
1313
try {
1414
if (location.href.indexOf('is-external=true') == -1) {
15-
parent.document.title="Constant Field Values (java-core 4.8-SNAPSHOT API)";
15+
parent.document.title="Constant Field Values (java-core 4.7 API)";
1616
}
1717
}
1818
catch(err) {

‎javadoc/4.7/functionaljava-java-core/deprecated-list.html‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
<html lang="fr">
44
<head>
55
<!-- Generated by javadoc (1.8.0_121) on Mon Mar 27 21:37:21 CEST 2017 -->
6-
<title>Deprecated List (java-core 4.8-SNAPSHOT API)</title>
6+
<title>Deprecated List (java-core 4.7 API)</title>
77
<meta name="date" content="2017-03-27">
88
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
99
<script type="text/javascript" src="script.js"></script>
@@ -12,7 +12,7 @@
1212
<script type="text/javascript"><!--
1313
try {
1414
if (location.href.indexOf('is-external=true') == -1) {
15-
parent.document.title="Deprecated List (java-core 4.8-SNAPSHOT API)";
15+
parent.document.title="Deprecated List (java-core 4.7 API)";
1616
}
1717
}
1818
catch(err) {

‎javadoc/4.7/functionaljava-java-core/fj/java/util/ListUtil.html‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
<html lang="fr">
44
<head>
55
<!-- Generated by javadoc (1.8.0_121) on Mon Mar 27 21:37:21 CEST 2017 -->
6-
<title>ListUtil (java-core 4.8-SNAPSHOT API)</title>
6+
<title>ListUtil (java-core 4.7 API)</title>
77
<meta name="date" content="2017-03-27">
88
<link rel="stylesheet" type="text/css" href="../../../stylesheet.css" title="Style">
99
<script type="text/javascript" src="../../../script.js"></script>
@@ -12,7 +12,7 @@
1212
<script type="text/javascript"><!--
1313
try {
1414
if (location.href.indexOf('is-external=true') == -1) {
15-
parent.document.title="ListUtil (java-core 4.8-SNAPSHOT API)";
15+
parent.document.title="ListUtil (java-core 4.7 API)";
1616
}
1717
}
1818
catch(err) {

‎javadoc/4.7/functionaljava-java-core/fj/java/util/package-frame.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
<html lang="fr">
44
<head>
55
<!-- Generated by javadoc (1.8.0_121) on Mon Mar 27 21:37:21 CEST 2017 -->
6-
<title>fj.java.util (java-core 4.8-SNAPSHOT API)</title>
6+
<title>fj.java.util (java-core 4.7 API)</title>
77
<meta name="date" content="2017-03-27">
88
<link rel="stylesheet" type="text/css" href="../../../stylesheet.css" title="Style">
99
<script type="text/javascript" src="../../../script.js"></script>

‎javadoc/4.7/functionaljava-java-core/fj/java/util/package-summary.html‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
<html lang="fr">
44
<head>
55
<!-- Generated by javadoc (1.8.0_121) on Mon Mar 27 21:37:21 CEST 2017 -->
6-
<title>fj.java.util (java-core 4.8-SNAPSHOT API)</title>
6+
<title>fj.java.util (java-core 4.7 API)</title>
77
<meta name="date" content="2017-03-27">
88
<link rel="stylesheet" type="text/css" href="../../../stylesheet.css" title="Style">
99
<script type="text/javascript" src="../../../script.js"></script>
@@ -12,7 +12,7 @@
1212
<script type="text/javascript"><!--
1313
try {
1414
if (location.href.indexOf('is-external=true') == -1) {
15-
parent.document.title="fj.java.util (java-core 4.8-SNAPSHOT API)";
15+
parent.document.title="fj.java.util (java-core 4.7 API)";
1616
}
1717
}
1818
catch(err) {

‎javadoc/4.7/functionaljava-java-core/fj/java/util/package-tree.html‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
<html lang="fr">
44
<head>
55
<!-- Generated by javadoc (1.8.0_121) on Mon Mar 27 21:37:21 CEST 2017 -->
6-
<title>fj.java.util Class Hierarchy (java-core 4.8-SNAPSHOT API)</title>
6+
<title>fj.java.util Class Hierarchy (java-core 4.7 API)</title>
77
<meta name="date" content="2017-03-27">
88
<link rel="stylesheet" type="text/css" href="../../../stylesheet.css" title="Style">
99
<script type="text/javascript" src="../../../script.js"></script>
@@ -12,7 +12,7 @@
1212
<script type="text/javascript"><!--
1313
try {
1414
if (location.href.indexOf('is-external=true') == -1) {
15-
parent.document.title="fj.java.util Class Hierarchy (java-core 4.8-SNAPSHOT API)";
15+
parent.document.title="fj.java.util Class Hierarchy (java-core 4.7 API)";
1616
}
1717
}
1818
catch(err) {

‎javadoc/4.7/functionaljava-java-core/help-doc.html‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
<html lang="fr">
44
<head>
55
<!-- Generated by javadoc (1.8.0_121) on Mon Mar 27 21:37:21 CEST 2017 -->
6-
<title>API Help (java-core 4.8-SNAPSHOT API)</title>
6+
<title>API Help (java-core 4.7 API)</title>
77
<meta name="date" content="2017-03-27">
88
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
99
<script type="text/javascript" src="script.js"></script>
@@ -12,7 +12,7 @@
1212
<script type="text/javascript"><!--
1313
try {
1414
if (location.href.indexOf('is-external=true') == -1) {
15-
parent.document.title="API Help (java-core 4.8-SNAPSHOT API)";
15+
parent.document.title="API Help (java-core 4.7 API)";
1616
}
1717
}
1818
catch(err) {

‎javadoc/4.7/functionaljava-java-core/index-all.html‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
<html lang="fr">
44
<head>
55
<!-- Generated by javadoc (1.8.0_121) on Mon Mar 27 21:37:21 CEST 2017 -->
6-
<title>Index (java-core 4.8-SNAPSHOT API)</title>
6+
<title>Index (java-core 4.7 API)</title>
77
<meta name="date" content="2017-03-27">
88
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
99
<script type="text/javascript" src="script.js"></script>
@@ -12,7 +12,7 @@
1212
<script type="text/javascript"><!--
1313
try {
1414
if (location.href.indexOf('is-external=true') == -1) {
15-
parent.document.title="Index (java-core 4.8-SNAPSHOT API)";
15+
parent.document.title="Index (java-core 4.7 API)";
1616
}
1717
}
1818
catch(err) {

0 commit comments

Comments
 (0)