recommit for updates in build 4

2018-12-07 18:19:09 +01:00
parent 6b566a5bb2
commit 68e5bec0d7
21 changed files with 418 additions and 496 deletions
--- a/doc/frames.html
+++ b/doc/frames.html
@@ -2,7 +2,7 @@
 <html>
 <head>
  <meta charset="utf-8">
-	<title>Documentation by YARD 0.9.12</title>
+	<title>Documentation by YARD 0.9.16</title>
 </head>
 <script type="text/javascript" charset="utf-8">
  var match = unescape(window.location.hash).match(/^#!(.+)/);