docs/Mangrove/Result/ControlSignal.html in mangrove-0.11.0 vs docs/Mangrove/Result/ControlSignal.html in mangrove-0.12.0

- old
+ new

@@ -422,10 +422,10 @@ </div> </div> <div id="footer"> - Generated on Tue Oct 24 20:35:18 2023 by + Generated on Tue Oct 24 20:44:49 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