adjust Parameter types, Jenkinsfile and Readme

2025-05-06 14:27:04 +02:00
parent 9f3c02969a
commit 5eaf8cbb4e
24 changed files with 2 additions and 4680 deletions
--- a/doc/frames.html
+++ b/doc/frames.html
@@ -1,17 +0,0 @@
-<!DOCTYPE html>
-<html>
-<head>
-  <meta charset="utf-8">
-	<title>Documentation by YARD 0.9.26</title>
-</head>
-<script type="text/javascript">
-  var match = unescape(window.location.hash).match(/^#!(.+)/);
-  var name = match ? match[1] : 'index.html';
-  name = name.replace(/^(\w+):\/\//, '').replace(/^\/\//, '');
-  window.top.location = name;
-</script>
-<noscript>
-  <h1>Oops!</h1>
-  <h2>YARD requires JavaScript!</h2>
-</noscript>
-</html>