recommit for updates in build 16

2018-08-26 16:59:39 +02:00
parent 076120630c
commit 52a7b063c5
18 changed files with 82 additions and 27 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(/^#!(.+)/);