Remove hack previously used to insert diags into generated HTML.
[gnushogi.git] / doc / gnushogi_ovr.html
2012-03-13 Luis Felipe Strano... Updating to version 1.3.2, last public release by Mike...