summaryrefslogtreecommitdiff
path: root/misc
diff options
context:
space:
mode:
authorRĂ©mi Verschelde <rverschelde@gmail.com>2017-05-02 11:33:05 +0200
committerGitHub <noreply@github.com>2017-05-02 11:33:05 +0200
commit5a6ccce97d350011b599e793cea95aa4e7899395 (patch)
tree58bc1133b546c9615f025a6f9120eefcb3c1e29f /misc
parentacaa01dfa76fcf538c4aba993e9ac0ae1dde9b5d (diff)
parenta542372642f873b9e85566b8168a5af4f2465957 (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