comparison src/tools/games.py @ 557:4f856dd4c0d0

core: paramaters are now merged: if a parameter doens't exist in loaded xml but exists in default parameters, it is added
author Goffi <goffi@goffi.org>
date Sun, 16 Dec 2012 18:01:06 +0100
parents 2a072735e459
children ca13633d3b6b
comparison
equal deleted inserted replaced
556:14dcbcdb6222 557:4f856dd4c0d0