diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2020-08-03 14:14:59 +0200 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2020-08-03 14:20:08 +0200 |
| commit | a46802f07c7e98868be25b10325088d8a47133d9 (patch) | |
| tree | 12f1a904a1d11acb7e6ceedb26bff854fa6848f0 /servers | |
| parent | ec9302ceccb75f44038db3695d2f9e7c82cfe951 (diff) | |
Improve editor tooltips related to debugging
Some option names have also been made longer as we can afford using
more space to display them.
Diffstat (limited to 'servers')
0 files changed, 0 insertions, 0 deletions