diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-03-01 12:02:09 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-03-01 12:02:09 +0100 |
| commit | 3baa499a9c839fc0b98040f0e052164d5d24b68a (patch) | |
| tree | c0cd357e92c36f3ab93f396c95ce3aa0406ae54c /doc/classes/OS.xml | |
| parent | 482dcf526653299a068741baad91965f83506ac1 (diff) | |
| parent | 7bb449ae70dca35d4381c9dfb585c5bf0db63707 (diff) | |
Merge pull request #26431 from Chaosus/error_font_update
Updates error label font in script's status bar
Diffstat (limited to 'doc/classes/OS.xml')
0 files changed, 0 insertions, 0 deletions