Searched refs:undocount (Results 1 – 3 of 3) sorted by relevance
124 extern unsigned int undocount;
168 unsigned int undocount; variable4390 undocount = 0; in main()
4872 undocount++; in play_one_undo()