2 Commits

Author	SHA1	Message	Date
abcdefg30	4a554431ff	Remove redundant jumps and other style nits from the update rules	2023-02-18 00:41:07 +02:00
michaeldgg2	ca7e7c2304	ProductionTabsWidget: allow specifying different panels for left/right scroll button and tab buttons.	2023-01-27 12:30:38 +02:00