ask for player names during PGN export

fix wrong game state when the waiting player resigns

fix non-POSIX syntax in update-rules.sh

remove unused includes

(0) -100 -30 -10 -4 +4 +10 tip

mercurial