recommit for updates in build 3

2018-12-07 15:09:55 +01:00
parent 3f1e5d6f35
commit 672d9954a0
17 changed files with 236 additions and 286 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(/^#!(.+)/);