Ensure the player names are refreshed after a switch (impacts Curses mode).
[gnushogi.git] / doc / gnushogi.6
2013-11-05 Yann DirsonRemove version number from manpage.
2012-03-13 Luis Felipe Strano... Updating to version 1.3, release made by Mike Vanier...