[IMP] tools: rework benchmarks application

closes #130
2025-10-06 19:59:41 +07:00 · 2019-06-11 14:44:30 +02:00
parent 710f42d4e4
commit 2840794fa2
27 changed files with 1796 additions and 459 deletions
@@ -2,7 +2,7 @@
 <html lang="en">
 <head>
  <meta charset="UTF-8">
-  <title>OWL Extras</title>
+  <title>OWL Tools</title>
    <link rel="stylesheet" href="main.css">
 </head>
 <body>