diff options
| author | martin | 2022-05-01 22:35:13 +0200 |
|---|---|---|
| committer | GitHub | 2022-05-01 22:35:13 +0200 |
| commit | 820358a79a87b214139eb7693ce80e96be79e3d8 (patch) | |
| tree | 326aa67921439defcb8c25ea5f770feb63e878a4 /src/gui/mainwindow.ui | |
| parent | d2c88294171c7f16d7caa3e6d368cbc6da779107 (diff) | |
| parent | 4a3ff8bfce622de0e5affa312d50557b5d336371 (diff) | |
Merge branch 'master' into feature-newgui
Diffstat (limited to 'src/gui/mainwindow.ui')
0 files changed, 0 insertions, 0 deletions