diff 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
line wrap: on
line diff