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 /editor/progress_dialog.h | |
parent | 5dae2ea777da5395cf1b1e9a8bc6abc93f6ae6bb (diff) |
Display version information in the editor at all times
This closes #27811.
Diffstat (limited to 'editor/progress_dialog.h')
0 files changed, 0 insertions, 0 deletions