Initial commit

2023-09-19 15:59:49 +02:00
commit bef0bade14
1860 changed files with 582828 additions and 0 deletions
--- a/documentation.html
+++ b/documentation.html
@ -0,0 +1,13 @@
+<html>
+<head>
+<title>A web page that points a browser to a different page after 2 seconds</title>
+<meta http-equiv="refresh" content="0; URL=./test-bench/doxygen/output/html/index.html">
+<meta name="keywords" content="automatic redirection">
+</head>
+<body>
+If your browser doesn't automatically go there within a few seconds,
+you may want to go to
+<a href="./test-bench/doxygen/output/html/index.html">the destination</a>
+manually.
+</body>
+</html>