diff options
author | David Shah <dave@ds0.me> | 2020-04-24 18:23:03 +0100 |
---|---|---|
committer | David Shah <dave@ds0.me> | 2020-04-24 18:23:03 +0100 |
commit | 25938500d6d0fbcd6e14d7d5ff3e45275ead6bb7 (patch) | |
tree | 7fd3e809e960079aeacd66ae8a8fcfa37203e4c3 /json | |
parent | 8f1683246ed5493f131a530025d6c076142f6291 (diff) | |
download | nextpnr-25938500d6d0fbcd6e14d7d5ff3e45275ead6bb7.tar.gz nextpnr-25938500d6d0fbcd6e14d7d5ff3e45275ead6bb7.tar.bz2 nextpnr-25938500d6d0fbcd6e14d7d5ff3e45275ead6bb7.zip |
python: Also convert regular map keys to string
Signed-off-by: David Shah <dave@ds0.me>
Diffstat (limited to 'json')
0 files changed, 0 insertions, 0 deletions