run tidy over html files; added include for gnu pages
[xboard.git] / whats_new / 4.7.2 /
drwxr-xr-x   ..
-rw-r--r-- 913 index.html