diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-08-20 15:24:00 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-20 15:24:00 +0200 |
| commit | 5627047c32bf20d7fc83998c6ab9899744160175 (patch) | |
| tree | 6a01b2b424e3631856d5b737c71f733ad02ab7cc /main | |
| parent | 7e5890d23d882547ae465fb7756b74be5bc1f62b (diff) | |
| parent | 06256cd7782de2d91cd9ed3bcb9a05e293397303 (diff) | |
Merge pull request #10455 from groud/control_margin_fixes
Some control fixes and removed other useless lines
Diffstat (limited to 'main')
0 files changed, 0 insertions, 0 deletions