Ensure the player names are refreshed after a switch (impacts Curses mode).
[gnushogi.git] / misc / gnuminishogi.pat
2013-11-04 Yann DirsonGenerate patterns.inc at build time.