Symbol: undoex
games/mille/mille.h
264
void undoex(int);
games/mille/move.c
366
undoex();