Jonas Jenwald d6cfbd2839
Merge pull request #17130 from Snuffleupagus/AppOption-move-init
Try to make the `Preferences`/`AppOptions` initialization slightly more efficient
2023-10-19 15:12:30 +02:00
..
2023-08-31 13:09:52 +02:00
2023-08-31 13:09:52 +02:00