diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2017-05-02 11:33:05 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-05-02 11:33:05 +0200 |
commit | 5a6ccce97d350011b599e793cea95aa4e7899395 (patch) | |
tree | 58bc1133b546c9615f025a6f9120eefcb3c1e29f /misc | |
parent | acaa01dfa76fcf538c4aba993e9ac0ae1dde9b5d (diff) | |
parent | a542372642f873b9e85566b8168a5af4f2465957 (diff) |
Merge pull request #8612 from magyar123/pr-show-dict-contents
Make property editor display dictionaries (read only)
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions