diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-09-25 22:26:25 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-09-25 22:26:25 +0200 |
| commit | 8fe8e730a01b44650ee1540d662f5122474fec9d (patch) | |
| tree | 0ab81db09b5de237cd61631a541252ba54c492c7 /main/splash.png | |
| parent | dae02a90415b3af5ad2f14297e6259641cccef81 (diff) | |
| parent | 79e506ff520b3d53680d131f8bd0ce5e0f0da6ec (diff) | |
Merge pull request #11576 from volzhs/output-console
Add font size setting for output panel
Diffstat (limited to 'main/splash.png')
0 files changed, 0 insertions, 0 deletions