2022-11-15 20:03:04 +01:00
|
|
|
<!DOCTYPE HTML>
|
2022-11-15 17:38:45 +01:00
|
|
|
<!-- NewPage -->
|
2022-11-15 20:03:04 +01:00
|
|
|
<html lang="en">
|
2022-11-15 17:38:45 +01:00
|
|
|
<head>
|
2022-11-15 20:03:04 +01:00
|
|
|
<!-- Generated by javadoc (11.0.17) on Tue Nov 15 20:02:15 CET 2022 -->
|
|
|
|
|
<title>Generated Documentation (Untitled)</title>
|
|
|
|
|
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
|
|
|
|
|
<script type="text/javascript">window.location.replace('index.html')</script>
|
|
|
|
|
<noscript>
|
|
|
|
|
<meta http-equiv="Refresh" content="0;index.html">
|
|
|
|
|
</noscript>
|
|
|
|
|
<link rel="canonical" href="index.html">
|
2022-11-15 17:38:45 +01:00
|
|
|
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
|
|
|
|
|
</head>
|
|
|
|
|
<body>
|
2022-11-15 20:03:04 +01:00
|
|
|
<main role="main">
|
2022-11-15 17:38:45 +01:00
|
|
|
<noscript>
|
2022-11-15 20:03:04 +01:00
|
|
|
<p>JavaScript is disabled on your browser.</p>
|
2022-11-15 17:38:45 +01:00
|
|
|
</noscript>
|
2022-11-15 20:03:04 +01:00
|
|
|
<p><a href="index.html">index.html</a></p>
|
|
|
|
|
</main>
|
2022-11-15 17:38:45 +01:00
|
|
|
</body>
|
|
|
|
|
</html>
|
