diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-05-20 22:40:35 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-20 22:40:35 +0200 |
| commit | 8c95e1aaf848801b91bdb991da1f53dc77493077 (patch) | |
| tree | 534e3c74bdda2bfbf110a8b907225f2cd8da77a7 /editor/translations | |
| parent | 63e7d2db08ff7a2fafdf99c635ab985b9b0278f8 (diff) | |
| parent | 5f5507cc629426f1efb94001cb437f5ab764721d (diff) | |
Merge pull request #28952 from jbuck3/update-margins
Update Control margins when size is overridden by change to minsize
Diffstat (limited to 'editor/translations')
0 files changed, 0 insertions, 0 deletions