diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2022-11-17 11:56:28 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-11-17 11:56:28 +0100 |
commit | 184f26a1ba091ea05a14152354a6e9e65130927f (patch) | |
tree | 690f0c2c6c0fb4214318cc0bf16b9b1017e0a699 /thirdparty | |
parent | 966785751f156c9b75be5aabf64bc52390c4b050 (diff) | |
parent | 772d11d3407edbe9c657c89d5036c480b3a7a6e6 (diff) |
Merge pull request #68736 from dzil123/main_print_version_top
Move engine version printout to top
Diffstat (limited to 'thirdparty')
0 files changed, 0 insertions, 0 deletions