diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-07-26 19:08:42 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-07-26 19:08:42 +0200 |
| commit | e4ec59b6ae7ba4da8a57d35a4763192fd84fa358 (patch) | |
| tree | f7b293e4c4cbc91aa86fcf8c7031feef76464fef /misc/scripts | |
| parent | 140e7e5edf33adaf12c8a1f4050256f3fe54b4ce (diff) | |
| parent | dee9e9dc629556c858e8f2b9b17c10db9876c5c2 (diff) | |
Merge pull request #30763 from Calinou/editor-add-version-info
Display version information in the editor at all times
Diffstat (limited to 'misc/scripts')
0 files changed, 0 insertions, 0 deletions