Also update engine list when saving engine settings
[xboard.git] / gtk / .dirstamp