diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-08-01 10:56:56 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-08-01 10:56:56 +0200 |
| commit | 87e8444499931b574869dc04c49367eb6e91e848 (patch) | |
| tree | 9c026124f72f359c832f001ae5ebd1c02172af73 /tools/script_plugins | |
| parent | 0b595f94c47a9144dbe9c200a8057558b0c4f839 (diff) | |
| parent | ae1267d41cf15d9a5b40a4d2525f2cb151f6b17d (diff) | |
Merge pull request #5996 from hurikhan/editor_help_indentation
Fix help page title indentation
Diffstat (limited to 'tools/script_plugins')
0 files changed, 0 insertions, 0 deletions