Skip to content

Commit

Permalink
Updating auto-generated files from CI [ci skip]
Browse files Browse the repository at this point in the history
  • Loading branch information
@marco-brandizi
marco-brandizi committed Jul 20, 2023
1 parent 7b3cc73 commit 16ae1a2
Show file tree
Hide file tree
Showing 267 changed files with 1,051 additions and 1,051 deletions.
8 changes: 4 additions & 4 deletions docs/javadocs/jutils/allclasses-index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.19) on Fri Jul 14 16:58:49 UTC 2023 -->
<title>All Classes (JUtils - Miscellanea of Java Utils 11.1.1-SNAPSHOT API)</title>
<!-- Generated by javadoc (11.0.19) on Thu Jul 20 09:54:54 UTC 2023 -->
<title>All Classes (JUtils - Miscellanea of Java Utils 11.1.1 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-07-14">
<meta name="dc.created" content="2023-07-20">
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
<link rel="stylesheet" type="text/css" href="jquery/jquery-ui.min.css" title="Style">
<link rel="stylesheet" type="text/css" href="jquery-ui.overrides.css" title="Style">
Expand All @@ -22,7 +22,7 @@
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="All Classes (JUtils - Miscellanea of Java Utils 11.1.1-SNAPSHOT API)";
parent.document.title="All Classes (JUtils - Miscellanea of Java Utils 11.1.1 API)";
}
}
catch(err) {
Expand Down
6 changes: 3 additions & 3 deletions docs/javadocs/jutils/allclasses.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.19) on Fri Jul 14 16:58:49 UTC 2023 -->
<title>All Classes (JUtils - Miscellanea of Java Utils 11.1.1-SNAPSHOT API)</title>
<!-- Generated by javadoc (11.0.19) on Thu Jul 20 09:54:54 UTC 2023 -->
<title>All Classes (JUtils - Miscellanea of Java Utils 11.1.1 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-07-14">
<meta name="dc.created" content="2023-07-20">
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
<link rel="stylesheet" type="text/css" href="jquery/jquery-ui.min.css" title="Style">
<link rel="stylesheet" type="text/css" href="jquery-ui.overrides.css" title="Style">
Expand Down
8 changes: 4 additions & 4 deletions docs/javadocs/jutils/allpackages-index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.19) on Fri Jul 14 16:58:49 UTC 2023 -->
<title>All Packages (JUtils - Miscellanea of Java Utils 11.1.1-SNAPSHOT API)</title>
<!-- Generated by javadoc (11.0.19) on Thu Jul 20 09:54:54 UTC 2023 -->
<title>All Packages (JUtils - Miscellanea of Java Utils 11.1.1 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-07-14">
<meta name="dc.created" content="2023-07-20">
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
<link rel="stylesheet" type="text/css" href="jquery/jquery-ui.min.css" title="Style">
<link rel="stylesheet" type="text/css" href="jquery-ui.overrides.css" title="Style">
Expand All @@ -22,7 +22,7 @@
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="All Packages (JUtils - Miscellanea of Java Utils 11.1.1-SNAPSHOT API)";
parent.document.title="All Packages (JUtils - Miscellanea of Java Utils 11.1.1 API)";
}
}
catch(err) {
Expand Down
8 changes: 4 additions & 4 deletions docs/javadocs/jutils/constant-values.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.19) on Fri Jul 14 16:58:49 UTC 2023 -->
<title>Constant Field Values (JUtils - Miscellanea of Java Utils 11.1.1-SNAPSHOT API)</title>
<!-- Generated by javadoc (11.0.19) on Thu Jul 20 09:54:54 UTC 2023 -->
<title>Constant Field Values (JUtils - Miscellanea of Java Utils 11.1.1 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-07-14">
<meta name="dc.created" content="2023-07-20">
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
<link rel="stylesheet" type="text/css" href="jquery/jquery-ui.min.css" title="Style">
<link rel="stylesheet" type="text/css" href="jquery-ui.overrides.css" title="Style">
Expand All @@ -22,7 +22,7 @@
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="Constant Field Values (JUtils - Miscellanea of Java Utils 11.1.1-SNAPSHOT API)";
parent.document.title="Constant Field Values (JUtils - Miscellanea of Java Utils 11.1.1 API)";
}
}
catch(err) {
Expand Down
8 changes: 4 additions & 4 deletions docs/javadocs/jutils/deprecated-list.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.19) on Fri Jul 14 16:58:49 UTC 2023 -->
<title>Deprecated List (JUtils - Miscellanea of Java Utils 11.1.1-SNAPSHOT API)</title>
<!-- Generated by javadoc (11.0.19) on Thu Jul 20 09:54:54 UTC 2023 -->
<title>Deprecated List (JUtils - Miscellanea of Java Utils 11.1.1 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-07-14">
<meta name="dc.created" content="2023-07-20">
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
<link rel="stylesheet" type="text/css" href="jquery/jquery-ui.min.css" title="Style">
<link rel="stylesheet" type="text/css" href="jquery-ui.overrides.css" title="Style">
Expand All @@ -22,7 +22,7 @@
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="Deprecated List (JUtils - Miscellanea of Java Utils 11.1.1-SNAPSHOT API)";
parent.document.title="Deprecated List (JUtils - Miscellanea of Java Utils 11.1.1 API)";
}
}
catch(err) {
Expand Down
8 changes: 4 additions & 4 deletions docs/javadocs/jutils/help-doc.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.19) on Fri Jul 14 16:58:49 UTC 2023 -->
<title>API Help (JUtils - Miscellanea of Java Utils 11.1.1-SNAPSHOT API)</title>
<!-- Generated by javadoc (11.0.19) on Thu Jul 20 09:54:54 UTC 2023 -->
<title>API Help (JUtils - Miscellanea of Java Utils 11.1.1 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-07-14">
<meta name="dc.created" content="2023-07-20">
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
<link rel="stylesheet" type="text/css" href="jquery/jquery-ui.min.css" title="Style">
<link rel="stylesheet" type="text/css" href="jquery-ui.overrides.css" title="Style">
Expand All @@ -22,7 +22,7 @@
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="API Help (JUtils - Miscellanea of Java Utils 11.1.1-SNAPSHOT API)";
parent.document.title="API Help (JUtils - Miscellanea of Java Utils 11.1.1 API)";
}
}
catch(err) {
Expand Down
8 changes: 4 additions & 4 deletions docs/javadocs/jutils/index-all.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.19) on Fri Jul 14 16:58:49 UTC 2023 -->
<title>Index (JUtils - Miscellanea of Java Utils 11.1.1-SNAPSHOT API)</title>
<!-- Generated by javadoc (11.0.19) on Thu Jul 20 09:54:54 UTC 2023 -->
<title>Index (JUtils - Miscellanea of Java Utils 11.1.1 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-07-14">
<meta name="dc.created" content="2023-07-20">
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
<link rel="stylesheet" type="text/css" href="jquery/jquery-ui.min.css" title="Style">
<link rel="stylesheet" type="text/css" href="jquery-ui.overrides.css" title="Style">
Expand All @@ -22,7 +22,7 @@
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="Index (JUtils - Miscellanea of Java Utils 11.1.1-SNAPSHOT API)";
parent.document.title="Index (JUtils - Miscellanea of Java Utils 11.1.1 API)";
}
}
catch(err) {
Expand Down
10 changes: 5 additions & 5 deletions docs/javadocs/jutils/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.19) on Fri Jul 14 16:58:49 UTC 2023 -->
<title>Overview (JUtils - Miscellanea of Java Utils 11.1.1-SNAPSHOT API)</title>
<!-- Generated by javadoc (11.0.19) on Thu Jul 20 09:54:54 UTC 2023 -->
<title>Overview (JUtils - Miscellanea of Java Utils 11.1.1 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-07-14">
<meta name="dc.created" content="2023-07-20">
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
<link rel="stylesheet" type="text/css" href="jquery/jquery-ui.min.css" title="Style">
<link rel="stylesheet" type="text/css" href="jquery-ui.overrides.css" title="Style">
Expand All @@ -22,7 +22,7 @@
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="Overview (JUtils - Miscellanea of Java Utils 11.1.1-SNAPSHOT API)";
parent.document.title="Overview (JUtils - Miscellanea of Java Utils 11.1.1 API)";
}
}
catch(err) {
Expand Down Expand Up @@ -95,7 +95,7 @@
</header>
<main role="main">
<div class="header">
<h1 class="title">JUtils - Miscellanea of Java Utils 11.1.1-SNAPSHOT API</h1>
<h1 class="title">JUtils - Miscellanea of Java Utils 11.1.1 API</h1>
</div>
<div class="contentContainer">
<table class="overviewSummary">
Expand Down
Binary file modified docs/javadocs/jutils/member-search-index.zip
View file
Binary file not shown.
4 changes: 2 additions & 2 deletions docs/javadocs/jutils/overview-summary.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,8 +2,8 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.19) on Fri Jul 14 16:58:49 UTC 2023 -->
<title>JUtils - Miscellanea of Java Utils 11.1.1-SNAPSHOT API</title>
<!-- Generated by javadoc (11.0.19) on Thu Jul 20 09:54:54 UTC 2023 -->
<title>JUtils - Miscellanea of Java Utils 11.1.1 API</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<script type="text/javascript">window.location.replace('index.html')</script>
<noscript>
Expand Down
8 changes: 4 additions & 4 deletions docs/javadocs/jutils/overview-tree.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.19) on Fri Jul 14 16:58:49 UTC 2023 -->
<title>Class Hierarchy (JUtils - Miscellanea of Java Utils 11.1.1-SNAPSHOT API)</title>
<!-- Generated by javadoc (11.0.19) on Thu Jul 20 09:54:54 UTC 2023 -->
<title>Class Hierarchy (JUtils - Miscellanea of Java Utils 11.1.1 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-07-14">
<meta name="dc.created" content="2023-07-20">
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
<link rel="stylesheet" type="text/css" href="jquery/jquery-ui.min.css" title="Style">
<link rel="stylesheet" type="text/css" href="jquery-ui.overrides.css" title="Style">
Expand All @@ -22,7 +22,7 @@
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="Class Hierarchy (JUtils - Miscellanea of Java Utils 11.1.1-SNAPSHOT API)";
parent.document.title="Class Hierarchy (JUtils - Miscellanea of Java Utils 11.1.1 API)";
}
}
catch(err) {
Expand Down
Binary file modified docs/javadocs/jutils/package-search-index.zip
View file
Binary file not shown.
8 changes: 4 additions & 4 deletions docs/javadocs/jutils/serialized-form.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.19) on Fri Jul 14 16:58:49 UTC 2023 -->
<title>Serialized Form (JUtils - Miscellanea of Java Utils 11.1.1-SNAPSHOT API)</title>
<!-- Generated by javadoc (11.0.19) on Thu Jul 20 09:54:54 UTC 2023 -->
<title>Serialized Form (JUtils - Miscellanea of Java Utils 11.1.1 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-07-14">
<meta name="dc.created" content="2023-07-20">
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
<link rel="stylesheet" type="text/css" href="jquery/jquery-ui.min.css" title="Style">
<link rel="stylesheet" type="text/css" href="jquery-ui.overrides.css" title="Style">
Expand All @@ -22,7 +22,7 @@
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="Serialized Form (JUtils - Miscellanea of Java Utils 11.1.1-SNAPSHOT API)";
parent.document.title="Serialized Form (JUtils - Miscellanea of Java Utils 11.1.1 API)";
}
}
catch(err) {
Expand Down
Binary file modified docs/javadocs/jutils/type-search-index.zip
View file
Binary file not shown.
8 changes: 4 additions & 4 deletions docs/javadocs/jutils/uk/ac/ebi/utils/collections/AlphaNumComparator.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.19) on Fri Jul 14 16:58:49 UTC 2023 -->
<title>AlphaNumComparator (JUtils - Miscellanea of Java Utils 11.1.1-SNAPSHOT API)</title>
<!-- Generated by javadoc (11.0.19) on Thu Jul 20 09:54:54 UTC 2023 -->
<title>AlphaNumComparator (JUtils - Miscellanea of Java Utils 11.1.1 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-07-14">
<meta name="dc.created" content="2023-07-20">
<link rel="stylesheet" type="text/css" href="../../../../../stylesheet.css" title="Style">
<link rel="stylesheet" type="text/css" href="../../../../../jquery/jquery-ui.min.css" title="Style">
<link rel="stylesheet" type="text/css" href="../../../../../jquery-ui.overrides.css" title="Style">
Expand All @@ -22,7 +22,7 @@
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="AlphaNumComparator (JUtils - Miscellanea of Java Utils 11.1.1-SNAPSHOT API)";
parent.document.title="AlphaNumComparator (JUtils - Miscellanea of Java Utils 11.1.1 API)";
}
}
catch(err) {
Expand Down
8 changes: 4 additions & 4 deletions docs/javadocs/jutils/uk/ac/ebi/utils/collections/ArraySearchUtils.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.19) on Fri Jul 14 16:58:49 UTC 2023 -->
<title>ArraySearchUtils (JUtils - Miscellanea of Java Utils 11.1.1-SNAPSHOT API)</title>
<!-- Generated by javadoc (11.0.19) on Thu Jul 20 09:54:54 UTC 2023 -->
<title>ArraySearchUtils (JUtils - Miscellanea of Java Utils 11.1.1 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-07-14">
<meta name="dc.created" content="2023-07-20">
<link rel="stylesheet" type="text/css" href="../../../../../stylesheet.css" title="Style">
<link rel="stylesheet" type="text/css" href="../../../../../jquery/jquery-ui.min.css" title="Style">
<link rel="stylesheet" type="text/css" href="../../../../../jquery-ui.overrides.css" title="Style">
Expand All @@ -22,7 +22,7 @@
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="ArraySearchUtils (JUtils - Miscellanea of Java Utils 11.1.1-SNAPSHOT API)";
parent.document.title="ArraySearchUtils (JUtils - Miscellanea of Java Utils 11.1.1 API)";
}
}
catch(err) {
Expand Down
8 changes: 4 additions & 4 deletions docs/javadocs/jutils/uk/ac/ebi/utils/collections/ListUtils.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.19) on Fri Jul 14 16:58:49 UTC 2023 -->
<title>ListUtils (JUtils - Miscellanea of Java Utils 11.1.1-SNAPSHOT API)</title>
<!-- Generated by javadoc (11.0.19) on Thu Jul 20 09:54:54 UTC 2023 -->
<title>ListUtils (JUtils - Miscellanea of Java Utils 11.1.1 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-07-14">
<meta name="dc.created" content="2023-07-20">
<link rel="stylesheet" type="text/css" href="../../../../../stylesheet.css" title="Style">
<link rel="stylesheet" type="text/css" href="../../../../../jquery/jquery-ui.min.css" title="Style">
<link rel="stylesheet" type="text/css" href="../../../../../jquery-ui.overrides.css" title="Style">
Expand All @@ -22,7 +22,7 @@
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="ListUtils (JUtils - Miscellanea of Java Utils 11.1.1-SNAPSHOT API)";
parent.document.title="ListUtils (JUtils - Miscellanea of Java Utils 11.1.1 API)";
}
}
catch(err) {
Expand Down
8 changes: 4 additions & 4 deletions docs/javadocs/jutils/uk/ac/ebi/utils/collections/MapCollection.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.19) on Fri Jul 14 16:58:49 UTC 2023 -->
<title>MapCollection (JUtils - Miscellanea of Java Utils 11.1.1-SNAPSHOT API)</title>
<!-- Generated by javadoc (11.0.19) on Thu Jul 20 09:54:54 UTC 2023 -->
<title>MapCollection (JUtils - Miscellanea of Java Utils 11.1.1 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-07-14">
<meta name="dc.created" content="2023-07-20">
<link rel="stylesheet" type="text/css" href="../../../../../stylesheet.css" title="Style">
<link rel="stylesheet" type="text/css" href="../../../../../jquery/jquery-ui.min.css" title="Style">
<link rel="stylesheet" type="text/css" href="../../../../../jquery-ui.overrides.css" title="Style">
Expand All @@ -22,7 +22,7 @@
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="MapCollection (JUtils - Miscellanea of Java Utils 11.1.1-SNAPSHOT API)";
parent.document.title="MapCollection (JUtils - Miscellanea of Java Utils 11.1.1 API)";
}
}
catch(err) {
Expand Down
8 changes: 4 additions & 4 deletions docs/javadocs/jutils/uk/ac/ebi/utils/collections/ObjectStore.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.19) on Fri Jul 14 16:58:49 UTC 2023 -->
<title>ObjectStore (JUtils - Miscellanea of Java Utils 11.1.1-SNAPSHOT API)</title>
<!-- Generated by javadoc (11.0.19) on Thu Jul 20 09:54:54 UTC 2023 -->
<title>ObjectStore (JUtils - Miscellanea of Java Utils 11.1.1 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-07-14">
<meta name="dc.created" content="2023-07-20">
<link rel="stylesheet" type="text/css" href="../../../../../stylesheet.css" title="Style">
<link rel="stylesheet" type="text/css" href="../../../../../jquery/jquery-ui.min.css" title="Style">
<link rel="stylesheet" type="text/css" href="../../../../../jquery-ui.overrides.css" title="Style">
Expand All @@ -22,7 +22,7 @@
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="ObjectStore (JUtils - Miscellanea of Java Utils 11.1.1-SNAPSHOT API)";
parent.document.title="ObjectStore (JUtils - Miscellanea of Java Utils 11.1.1 API)";
}
}
catch(err) {
Expand Down
8 changes: 4 additions & 4 deletions docs/javadocs/jutils/uk/ac/ebi/utils/collections/OptionsMap.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.19) on Fri Jul 14 16:58:49 UTC 2023 -->
<title>OptionsMap (JUtils - Miscellanea of Java Utils 11.1.1-SNAPSHOT API)</title>
<!-- Generated by javadoc (11.0.19) on Thu Jul 20 09:54:54 UTC 2023 -->
<title>OptionsMap (JUtils - Miscellanea of Java Utils 11.1.1 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-07-14">
<meta name="dc.created" content="2023-07-20">
<link rel="stylesheet" type="text/css" href="../../../../../stylesheet.css" title="Style">
<link rel="stylesheet" type="text/css" href="../../../../../jquery/jquery-ui.min.css" title="Style">
<link rel="stylesheet" type="text/css" href="../../../../../jquery-ui.overrides.css" title="Style">
Expand All @@ -22,7 +22,7 @@
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="OptionsMap (JUtils - Miscellanea of Java Utils 11.1.1-SNAPSHOT API)";
parent.document.title="OptionsMap (JUtils - Miscellanea of Java Utils 11.1.1 API)";
}
}
catch(err) {
Expand Down
Loading

0 comments on commit 16ae1a2

Please sign in to comment.