comparison frontends/src/primitivus/profile_manager.py @ 1234:9c17bd37e6e5

core: better management of default value in getConfig
author Goffi <goffi@goffi.org>
date Tue, 07 Oct 2014 17:12:41 +0200
parents 49d39b619e5d
children e3a9ea76de35
comparison
equal deleted inserted replaced
1233:0b87d029f0a3 1234:9c17bd37e6e5