diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-08-23 09:38:37 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-23 09:38:37 +0200 |
| commit | dd6388d3f6683fec6ce8d3521338ad4329a727c0 (patch) | |
| tree | f6435d755d9fd69b2c68303849599d1a048189ca /servers | |
| parent | 98ccdc08891615748c9ac69764ca778c9e43d7ea (diff) | |
| parent | e564bffd902d943360f5e458c7c5f4a511daf7e0 (diff) | |
Merge pull request #31588 from Calinou/editor-help-add-horizontal-margins
Add horizontal margins to the editor help based on width
Diffstat (limited to 'servers')
0 files changed, 0 insertions, 0 deletions