updated some paragraphs.
[xboard.git] / manual /
drwxr-xr-x   ..
drwxr-xr-x - html_node
-rw-r--r-- 2956 index.html
-rw-r--r-- 260101 xboard.html
-rw-r--r-- 65171 xboard.html.gz
-rw-r--r-- 72562 xboard.html_node.tar.gz
-rw-r--r-- 58405 xboard.info.tar.gz
-rw-r--r-- 54442 xboard.texi.tar.gz
-rw-r--r-- 190900 xboard.txt
-rw-r--r-- 56426 xboard.txt.gz