diff options
author | Rémi Verschelde <remi@verschelde.fr> | 2016-03-23 09:36:18 +0100 |
---|---|---|
committer | Rémi Verschelde <remi@verschelde.fr> | 2016-03-23 09:36:18 +0100 |
commit | 15d1fca0614ad87fd16fa7532e4db867b342d00e (patch) | |
tree | 37f05b00ffd28575b54a7751ac6e67fa7f929ad3 /.gitignore | |
parent | 440ef4b7562cb8a84fdd9812bf359a9bbe35de4c (diff) | |
parent | d8392dd1176f5d133a77304ad591fe9cb311c3ea (diff) |
Merge pull request #4102 from SaracenOne/dynamic_margin_properties
Dynamic property list for control margins
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions