diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-07-22 23:14:51 +0200 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-07-25 21:05:36 +0200 |
| commit | dee9e9dc629556c858e8f2b9b17c10db9876c5c2 (patch) | |
| tree | 911a219d876cd669834b0cc5993c03c4c309b485 /misc/scripts | |
| parent | 5dae2ea777da5395cf1b1e9a8bc6abc93f6ae6bb (diff) | |
Display version information in the editor at all times
This closes #27811.
Diffstat (limited to 'misc/scripts')
0 files changed, 0 insertions, 0 deletions