docs/Mangrove/Result/Ok.html in mangrove-0.9.1 vs docs/Mangrove/Result/Ok.html in mangrove-0.9.2

@@ -1078,12 +1078,12 @@
   </div>
 
 </div>
 
       <div id="footer">
-  Generated on Tue Oct 24 11:48:33 2023 by
+  Generated on Tue Oct 24 12:49:57 2023 by
   <a href="https://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
-  0.9.34 (ruby-3.2.2).
+  0.9.34 (ruby-3.1.2).
 </div>
 
     </div>
   </body>
 </html>
\ No newline at end of file