comparison src/plugins/plugin_misc_merge_requests.py @ 2451:d1153ce68ca0

tools (config): complexe data can now be set using json and the "_json" suffix
author Goffi <goffi@goffi.org>
date Thu, 30 Nov 2017 20:53:47 +0100
parents 637ac234424f
children 544c4d2fec45
comparison
equal deleted inserted replaced
2450:124f5db998f2 2451:d1153ce68ca0