docs/Mangrove/Option/None.html in mangrove-0.12.0 vs docs/Mangrove/Option/None.html in mangrove-0.14.0

@@ -1073,10 +1073,10 @@
   </div>
 
 </div>
 
       <div id="footer">
-  Generated on Tue Oct 24 20:44:49 2023 by
+  Generated on Thu Oct 26 12:34:22 2023 by
   <a href="https://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
   0.9.34 (ruby-3.1.2).
 </div>
 
     </div>
\ No newline at end of file