diff options
Diffstat (limited to 'doc/overview-summary.html')
| -rw-r--r-- | doc/overview-summary.html | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/doc/overview-summary.html b/doc/overview-summary.html new file mode 100644 index 0000000..5ca3614 --- /dev/null +++ b/doc/overview-summary.html | |||
| @@ -0,0 +1,26 @@ | |||
| 1 | <!DOCTYPE HTML> | ||
| 2 | <html lang="fr"> | ||
| 3 | <head> | ||
| 4 | <!-- Generated by javadoc (23) on Sat Feb 15 14:00:19 CET 2025 --> | ||
| 5 | <title>Generated Documentation (Untitled)</title> | ||
| 6 | <meta name="viewport" content="width=device-width, initial-scale=1"> | ||
| 7 | <meta http-equiv="Content-Type" content="text/html; charset=utf-8"> | ||
| 8 | <meta name="dc.created" content="2025-02-15"> | ||
| 9 | <meta name="description" content="index redirect"> | ||
| 10 | <meta name="generator" content="javadoc/IndexRedirectWriter"> | ||
| 11 | <link rel="canonical" href="index.html"> | ||
| 12 | <link rel="stylesheet" type="text/css" href="resource-files/stylesheet.css" title="Style"> | ||
| 13 | <script type="text/javascript">window.location.replace('index.html')</script> | ||
| 14 | <noscript> | ||
| 15 | <meta http-equiv="Refresh" content="0;index.html"> | ||
| 16 | </noscript> | ||
| 17 | </head> | ||
| 18 | <body class="index-redirect-page"> | ||
| 19 | <main role="main"> | ||
| 20 | <noscript> | ||
| 21 | <p>JavaScript is disabled on your browser.</p> | ||
| 22 | </noscript> | ||
| 23 | <p><a href="index.html">index.html</a></p> | ||
| 24 | </main> | ||
| 25 | </body> | ||
| 26 | </html> | ||