comparison sat_frontends/quick_frontend/quick_games.py @ 3265:1649bbe8d07e

tools (common/utils): new `recursive_update` method for dicts
author Goffi <goffi@goffi.org>
date Wed, 29 Apr 2020 13:53:00 +0200
parents 559a625a236b
children be6d91572633
comparison
equal deleted inserted replaced
3264:9896589487ae 3265:1649bbe8d07e