Skip to content

Commit 6d56105

Browse files
axelberndtaxelberndt
committed
v0.8.17
- Made class `meico.midi.InstrumentsDirectory` public so it can be used outside of its package. - Extended method `meico.mei.Mei.makePart()`. - This addresses issue [#23](#23) where the staff label did not suffice to properly indicate which General MIDI instrument should be chosen during the MIDI export. - Thus, support for MEI element `instrDef` has been added. It should be used as follows. ```` <staffDef clef.line="2" clef.shape="G" lines="5" n="1" label="unhelpful label"> <instrDef midi.instrname="Violin" midi.instrnum="40"/> </staffDef> ```` Only one of the attributes `midi.instrnum` (prioritized) and `midi.instrname` is required. The former should have values from 0 to 127 (not 1 to 128!). A list of General MIDI instrument names and numbers can be found on [Wikipedia](https://en.wikipedia.org/wiki/General_MIDI) (here the numbers must be decreased by 1!). - Meico will add a `programChangeMap` to the MSM part during export and use this instead of the label to generate the corresponding MIDI messages during MIDI export. - The MEI Coverage Documentation has been updated accordingly and provides further information.
1 parent 746d04b commit 6d56105

File tree

241 files changed

+545
-478
lines changed

Some content is hidden

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

241 files changed

+545
-478
lines changed

‎MEI_Coverage_Documentation.md

+9-1
Original file line numberDiff line numberDiff line change
@@ -160,7 +160,15 @@ Hairpins indicate a continuous dynamics transition. Their processing is similar
160160
This creates a copy of the preceding timeframe. This timeframe is `0.5 * length of one measure`.
161161

162162
#### instrDef
163-
This element is deliberately ignored. Meico handles and generates MIDI-related information individually, more comprehensive and more consistent than MEI does.
163+
If the staff label did not suffice to properly indicate which General MIDI instrument should be chosen during the MIDI export, this element can be used to provide clarity. This element is supported only in the `staffDef` environment, i.e. as child or sub-child of a `staffDef` element such as demonstrated in the MEI Encoding Guidelines in the section on [Recording General MIDI Instrumentation](https://music-encoding.org/guidelines/v4/content/integration.html#midiInstruments). Here is another example.
164+
````
165+
<staffDef clef.line="2" clef.shape="G" lines="5" n="1" label="unhelpful label">
166+
<instrDef midi.instrname="Violin" midi.instrnum="40"/>
167+
</staffDef>
168+
````
169+
Only one of the attributes `midi.instrnum` (prioritized) and `midi.instrname` is required. The former should have values from 0 to 127 (not 1 to 128!). A list of General MIDI instrument names and numbers can be found on [Wikipedia](https://en.wikipedia.org/wiki/General_MIDI) (here the numbers must be decreased by 1!). Meico will generate an according `programChangeMap` in the MSM export and use it instead of the staff labels to trigger the correct instruments.
170+
171+
In the presence of multiple `instrDef` elements (maybe via `layerDef` subtrees or an `instrGrp`) meico will choose only the first of them for export. Meico does not support multiple instruments per staff as this requires a different handling of all the information in the staff MIDI-wise. This is reserved to the user who can import the MIDI data to a Digital Audio Worktation (DAW) and further produce the music.
164172

165173
#### instrGrp
166174
This element is deliberately ignored. Meico handles and generates MIDI-related information individually, more comprehensive and more consistent than MEI does.

‎docs/allclasses-frame.html

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,9 @@
22
<!-- NewPage -->
33
<html lang="de">
44
<head>
5-
<!-- Generated by javadoc (1.8.0_172) on Mon Aug 24 10:25:28 CEST 2020 -->
5+
<!-- Generated by javadoc (1.8.0_172) on Fri Sep 18 12:51:49 CEST 2020 -->
66
<title>All Classes</title>
7-
<meta name="date" content="2020-08-24">
7+
<meta name="date" content="2020-09-18">
88
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
99
<script type="text/javascript" src="script.js"></script>
1010
</head>

‎docs/allclasses-noframe.html

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,9 @@
22
<!-- NewPage -->
33
<html lang="de">
44
<head>
5-
<!-- Generated by javadoc (1.8.0_172) on Mon Aug 24 10:25:28 CEST 2020 -->
5+
<!-- Generated by javadoc (1.8.0_172) on Fri Sep 18 12:51:49 CEST 2020 -->
66
<title>All Classes</title>
7-
<meta name="date" content="2020-08-24">
7+
<meta name="date" content="2020-09-18">
88
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
99
<script type="text/javascript" src="script.js"></script>
1010
</head>

‎docs/constant-values.html

+4-4
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,9 @@
22
<!-- NewPage -->
33
<html lang="de">
44
<head>
5-
<!-- Generated by javadoc (1.8.0_172) on Mon Aug 24 10:25:28 CEST 2020 -->
5+
<!-- Generated by javadoc (1.8.0_172) on Fri Sep 18 12:51:49 CEST 2020 -->
66
<title>Constant Field Values</title>
7-
<meta name="date" content="2020-08-24">
7+
<meta name="date" content="2020-09-18">
88
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
99
<script type="text/javascript" src="script.js"></script>
1010
</head>
@@ -95,7 +95,7 @@ <h2 title="meico">meico.*</h2>
9595
<!-- -->
9696
</a><code>public&nbsp;static&nbsp;final&nbsp;java.lang.String</code></td>
9797
<td><code><a href="meico/Meico.html#version">version</a></code></td>
98-
<td class="colLast"><code>"0.8.15"</code></td>
98+
<td class="colLast"><code>"0.8.17"</code></td>
9999
</tr>
100100
</tbody>
101101
</table>
@@ -2259,7 +2259,7 @@ <h2 title="meico.midi">meico.midi.*</h2>
22592259
</li>
22602260
<li class="blockList">
22612261
<table class="constantsSummary" border="0" cellpadding="3" cellspacing="0" summary="Constant Field Values table, listing constant fields, and values">
2262-
<caption><span>meico.midi.meico.midi.InstrumentsDictionary</span><span class="tabEnd">&nbsp;</span></caption>
2262+
<caption><span>meico.midi.<a href="meico/midi/InstrumentsDictionary.html" title="class in meico.midi">InstrumentsDictionary</a></span><span class="tabEnd">&nbsp;</span></caption>
22632263
<tr>
22642264
<th class="colFirst" scope="col">Modifier and Type</th>
22652265
<th scope="col">Constant Field</th>

‎docs/deprecated-list.html

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,9 @@
22
<!-- NewPage -->
33
<html lang="de">
44
<head>
5-
<!-- Generated by javadoc (1.8.0_172) on Mon Aug 24 10:25:28 CEST 2020 -->
5+
<!-- Generated by javadoc (1.8.0_172) on Fri Sep 18 12:51:49 CEST 2020 -->
66
<title>Deprecated List</title>
7-
<meta name="date" content="2020-08-24">
7+
<meta name="date" content="2020-09-18">
88
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
99
<script type="text/javascript" src="script.js"></script>
1010
</head>

‎docs/help-doc.html

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,9 @@
22
<!-- NewPage -->
33
<html lang="de">
44
<head>
5-
<!-- Generated by javadoc (1.8.0_172) on Mon Aug 24 10:25:28 CEST 2020 -->
5+
<!-- Generated by javadoc (1.8.0_172) on Fri Sep 18 12:51:49 CEST 2020 -->
66
<title>API Help</title>
7-
<meta name="date" content="2020-08-24">
7+
<meta name="date" content="2020-09-18">
88
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
99
<script type="text/javascript" src="script.js"></script>
1010
</head>

‎docs/index-files/index-1.html

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,9 @@
22
<!-- NewPage -->
33
<html lang="de">
44
<head>
5-
<!-- Generated by javadoc (1.8.0_172) on Mon Aug 24 10:25:28 CEST 2020 -->
5+
<!-- Generated by javadoc (1.8.0_172) on Fri Sep 18 12:51:49 CEST 2020 -->
66
<title>A-Index</title>
7-
<meta name="date" content="2020-08-24">
7+
<meta name="date" content="2020-09-18">
88
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
99
<script type="text/javascript" src="../script.js"></script>
1010
</head>

‎docs/index-files/index-10.html

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,9 @@
22
<!-- NewPage -->
33
<html lang="de">
44
<head>
5-
<!-- Generated by javadoc (1.8.0_172) on Mon Aug 24 10:25:28 CEST 2020 -->
5+
<!-- Generated by javadoc (1.8.0_172) on Fri Sep 18 12:51:49 CEST 2020 -->
66
<title>J-Index</title>
7-
<meta name="date" content="2020-08-24">
7+
<meta name="date" content="2020-09-18">
88
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
99
<script type="text/javascript" src="../script.js"></script>
1010
</head>

‎docs/index-files/index-11.html

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,9 @@
22
<!-- NewPage -->
33
<html lang="de">
44
<head>
5-
<!-- Generated by javadoc (1.8.0_172) on Mon Aug 24 10:25:28 CEST 2020 -->
5+
<!-- Generated by javadoc (1.8.0_172) on Fri Sep 18 12:51:49 CEST 2020 -->
66
<title>K-Index</title>
7-
<meta name="date" content="2020-08-24">
7+
<meta name="date" content="2020-09-18">
88
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
99
<script type="text/javascript" src="../script.js"></script>
1010
</head>

‎docs/index-files/index-12.html

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,9 @@
22
<!-- NewPage -->
33
<html lang="de">
44
<head>
5-
<!-- Generated by javadoc (1.8.0_172) on Mon Aug 24 10:25:28 CEST 2020 -->
5+
<!-- Generated by javadoc (1.8.0_172) on Fri Sep 18 12:51:49 CEST 2020 -->
66
<title>L-Index</title>
7-
<meta name="date" content="2020-08-24">
7+
<meta name="date" content="2020-09-18">
88
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
99
<script type="text/javascript" src="../script.js"></script>
1010
</head>

‎docs/index-files/index-13.html

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,9 @@
22
<!-- NewPage -->
33
<html lang="de">
44
<head>
5-
<!-- Generated by javadoc (1.8.0_172) on Mon Aug 24 10:25:28 CEST 2020 -->
5+
<!-- Generated by javadoc (1.8.0_172) on Fri Sep 18 12:51:49 CEST 2020 -->
66
<title>M-Index</title>
7-
<meta name="date" content="2020-08-24">
7+
<meta name="date" content="2020-09-18">
88
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
99
<script type="text/javascript" src="../script.js"></script>
1010
</head>

‎docs/index-files/index-14.html

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,9 @@
22
<!-- NewPage -->
33
<html lang="de">
44
<head>
5-
<!-- Generated by javadoc (1.8.0_172) on Mon Aug 24 10:25:28 CEST 2020 -->
5+
<!-- Generated by javadoc (1.8.0_172) on Fri Sep 18 12:51:49 CEST 2020 -->
66
<title>N-Index</title>
7-
<meta name="date" content="2020-08-24">
7+
<meta name="date" content="2020-09-18">
88
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
99
<script type="text/javascript" src="../script.js"></script>
1010
</head>

‎docs/index-files/index-15.html

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,9 @@
22
<!-- NewPage -->
33
<html lang="de">
44
<head>
5-
<!-- Generated by javadoc (1.8.0_172) on Mon Aug 24 10:25:28 CEST 2020 -->
5+
<!-- Generated by javadoc (1.8.0_172) on Fri Sep 18 12:51:49 CEST 2020 -->
66
<title>O-Index</title>
7-
<meta name="date" content="2020-08-24">
7+
<meta name="date" content="2020-09-18">
88
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
99
<script type="text/javascript" src="../script.js"></script>
1010
</head>

‎docs/index-files/index-16.html

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,9 @@
22
<!-- NewPage -->
33
<html lang="de">
44
<head>
5-
<!-- Generated by javadoc (1.8.0_172) on Mon Aug 24 10:25:28 CEST 2020 -->
5+
<!-- Generated by javadoc (1.8.0_172) on Fri Sep 18 12:51:49 CEST 2020 -->
66
<title>P-Index</title>
7-
<meta name="date" content="2020-08-24">
7+
<meta name="date" content="2020-09-18">
88
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
99
<script type="text/javascript" src="../script.js"></script>
1010
</head>

‎docs/index-files/index-17.html

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,9 @@
22
<!-- NewPage -->
33
<html lang="de">
44
<head>
5-
<!-- Generated by javadoc (1.8.0_172) on Mon Aug 24 10:25:28 CEST 2020 -->
5+
<!-- Generated by javadoc (1.8.0_172) on Fri Sep 18 12:51:49 CEST 2020 -->
66
<title>Q-Index</title>
7-
<meta name="date" content="2020-08-24">
7+
<meta name="date" content="2020-09-18">
88
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
99
<script type="text/javascript" src="../script.js"></script>
1010
</head>

‎docs/index-files/index-18.html

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,9 @@
22
<!-- NewPage -->
33
<html lang="de">
44
<head>
5-
<!-- Generated by javadoc (1.8.0_172) on Mon Aug 24 10:25:28 CEST 2020 -->
5+
<!-- Generated by javadoc (1.8.0_172) on Fri Sep 18 12:51:49 CEST 2020 -->
66
<title>R-Index</title>
7-
<meta name="date" content="2020-08-24">
7+
<meta name="date" content="2020-09-18">
88
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
99
<script type="text/javascript" src="../script.js"></script>
1010
</head>

‎docs/index-files/index-19.html

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,9 @@
22
<!-- NewPage -->
33
<html lang="de">
44
<head>
5-
<!-- Generated by javadoc (1.8.0_172) on Mon Aug 24 10:25:28 CEST 2020 -->
5+
<!-- Generated by javadoc (1.8.0_172) on Fri Sep 18 12:51:49 CEST 2020 -->
66
<title>S-Index</title>
7-
<meta name="date" content="2020-08-24">
7+
<meta name="date" content="2020-09-18">
88
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
99
<script type="text/javascript" src="../script.js"></script>
1010
</head>

‎docs/index-files/index-2.html

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,9 @@
22
<!-- NewPage -->
33
<html lang="de">
44
<head>
5-
<!-- Generated by javadoc (1.8.0_172) on Mon Aug 24 10:25:28 CEST 2020 -->
5+
<!-- Generated by javadoc (1.8.0_172) on Fri Sep 18 12:51:49 CEST 2020 -->
66
<title>B-Index</title>
7-
<meta name="date" content="2020-08-24">
7+
<meta name="date" content="2020-09-18">
88
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
99
<script type="text/javascript" src="../script.js"></script>
1010
</head>

‎docs/index-files/index-20.html

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,9 @@
22
<!-- NewPage -->
33
<html lang="de">
44
<head>
5-
<!-- Generated by javadoc (1.8.0_172) on Mon Aug 24 10:25:28 CEST 2020 -->
5+
<!-- Generated by javadoc (1.8.0_172) on Fri Sep 18 12:51:49 CEST 2020 -->
66
<title>T-Index</title>
7-
<meta name="date" content="2020-08-24">
7+
<meta name="date" content="2020-09-18">
88
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
99
<script type="text/javascript" src="../script.js"></script>
1010
</head>

‎docs/index-files/index-21.html

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,9 @@
22
<!-- NewPage -->
33
<html lang="de">
44
<head>
5-
<!-- Generated by javadoc (1.8.0_172) on Mon Aug 24 10:25:28 CEST 2020 -->
5+
<!-- Generated by javadoc (1.8.0_172) on Fri Sep 18 12:51:49 CEST 2020 -->
66
<title>U-Index</title>
7-
<meta name="date" content="2020-08-24">
7+
<meta name="date" content="2020-09-18">
88
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
99
<script type="text/javascript" src="../script.js"></script>
1010
</head>

‎docs/index-files/index-22.html

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,9 @@
22
<!-- NewPage -->
33
<html lang="de">
44
<head>
5-
<!-- Generated by javadoc (1.8.0_172) on Mon Aug 24 10:25:28 CEST 2020 -->
5+
<!-- Generated by javadoc (1.8.0_172) on Fri Sep 18 12:51:49 CEST 2020 -->
66
<title>V-Index</title>
7-
<meta name="date" content="2020-08-24">
7+
<meta name="date" content="2020-09-18">
88
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
99
<script type="text/javascript" src="../script.js"></script>
1010
</head>

‎docs/index-files/index-23.html

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,9 @@
22
<!-- NewPage -->
33
<html lang="de">
44
<head>
5-
<!-- Generated by javadoc (1.8.0_172) on Mon Aug 24 10:25:28 CEST 2020 -->
5+
<!-- Generated by javadoc (1.8.0_172) on Fri Sep 18 12:51:49 CEST 2020 -->
66
<title>W-Index</title>
7-
<meta name="date" content="2020-08-24">
7+
<meta name="date" content="2020-09-18">
88
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
99
<script type="text/javascript" src="../script.js"></script>
1010
</head>

‎docs/index-files/index-24.html

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,9 @@
22
<!-- NewPage -->
33
<html lang="de">
44
<head>
5-
<!-- Generated by javadoc (1.8.0_172) on Mon Aug 24 10:25:28 CEST 2020 -->
5+
<!-- Generated by javadoc (1.8.0_172) on Fri Sep 18 12:51:49 CEST 2020 -->
66
<title>X-Index</title>
7-
<meta name="date" content="2020-08-24">
7+
<meta name="date" content="2020-09-18">
88
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
99
<script type="text/javascript" src="../script.js"></script>
1010
</head>

‎docs/index-files/index-3.html

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,9 @@
22
<!-- NewPage -->
33
<html lang="de">
44
<head>
5-
<!-- Generated by javadoc (1.8.0_172) on Mon Aug 24 10:25:28 CEST 2020 -->
5+
<!-- Generated by javadoc (1.8.0_172) on Fri Sep 18 12:51:49 CEST 2020 -->
66
<title>C-Index</title>
7-
<meta name="date" content="2020-08-24">
7+
<meta name="date" content="2020-09-18">
88
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
99
<script type="text/javascript" src="../script.js"></script>
1010
</head>

‎docs/index-files/index-4.html

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,9 @@
22
<!-- NewPage -->
33
<html lang="de">
44
<head>
5-
<!-- Generated by javadoc (1.8.0_172) on Mon Aug 24 10:25:28 CEST 2020 -->
5+
<!-- Generated by javadoc (1.8.0_172) on Fri Sep 18 12:51:49 CEST 2020 -->
66
<title>D-Index</title>
7-
<meta name="date" content="2020-08-24">
7+
<meta name="date" content="2020-09-18">
88
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
99
<script type="text/javascript" src="../script.js"></script>
1010
</head>

‎docs/index-files/index-5.html

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,9 @@
22
<!-- NewPage -->
33
<html lang="de">
44
<head>
5-
<!-- Generated by javadoc (1.8.0_172) on Mon Aug 24 10:25:28 CEST 2020 -->
5+
<!-- Generated by javadoc (1.8.0_172) on Fri Sep 18 12:51:49 CEST 2020 -->
66
<title>E-Index</title>
7-
<meta name="date" content="2020-08-24">
7+
<meta name="date" content="2020-09-18">
88
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
99
<script type="text/javascript" src="../script.js"></script>
1010
</head>

‎docs/index-files/index-6.html

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,9 @@
22
<!-- NewPage -->
33
<html lang="de">
44
<head>
5-
<!-- Generated by javadoc (1.8.0_172) on Mon Aug 24 10:25:28 CEST 2020 -->
5+
<!-- Generated by javadoc (1.8.0_172) on Fri Sep 18 12:51:49 CEST 2020 -->
66
<title>F-Index</title>
7-
<meta name="date" content="2020-08-24">
7+
<meta name="date" content="2020-09-18">
88
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
99
<script type="text/javascript" src="../script.js"></script>
1010
</head>

‎docs/index-files/index-7.html

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,9 @@
22
<!-- NewPage -->
33
<html lang="de">
44
<head>
5-
<!-- Generated by javadoc (1.8.0_172) on Mon Aug 24 10:25:28 CEST 2020 -->
5+
<!-- Generated by javadoc (1.8.0_172) on Fri Sep 18 12:51:49 CEST 2020 -->
66
<title>G-Index</title>
7-
<meta name="date" content="2020-08-24">
7+
<meta name="date" content="2020-09-18">
88
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
99
<script type="text/javascript" src="../script.js"></script>
1010
</head>

‎docs/index-files/index-8.html

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,9 @@
22
<!-- NewPage -->
33
<html lang="de">
44
<head>
5-
<!-- Generated by javadoc (1.8.0_172) on Mon Aug 24 10:25:28 CEST 2020 -->
5+
<!-- Generated by javadoc (1.8.0_172) on Fri Sep 18 12:51:49 CEST 2020 -->
66
<title>H-Index</title>
7-
<meta name="date" content="2020-08-24">
7+
<meta name="date" content="2020-09-18">
88
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
99
<script type="text/javascript" src="../script.js"></script>
1010
</head>

‎docs/index-files/index-9.html

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,9 @@
22
<!-- NewPage -->
33
<html lang="de">
44
<head>
5-
<!-- Generated by javadoc (1.8.0_172) on Mon Aug 24 10:25:28 CEST 2020 -->
5+
<!-- Generated by javadoc (1.8.0_172) on Fri Sep 18 12:51:49 CEST 2020 -->
66
<title>I-Index</title>
7-
<meta name="date" content="2020-08-24">
7+
<meta name="date" content="2020-09-18">
88
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
99
<script type="text/javascript" src="../script.js"></script>
1010
</head>

‎docs/index.html

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
<!-- NewPage -->
33
<html lang="de">
44
<head>
5-
<!-- Generated by javadoc (1.8.0_172) on Mon Aug 24 10:25:28 CEST 2020 -->
5+
<!-- Generated by javadoc (1.8.0_172) on Fri Sep 18 12:51:49 CEST 2020 -->
66
<title>Generated Documentation (Untitled)</title>
77
<script type="text/javascript">
88
tmpTargetPage = "" + window.location.search;

0 commit comments

Comments
 (0)