abcdefg30 4a554431ff Remove redundant jumps and other style nits from the update rules

2023-02-18 00:41:07 +02:00

..

Rules

Remove redundant jumps and other style nits from the update rules

2023-02-18 00:41:07 +02:00

UpdatePath.cs

ProductionTabsWidget: allow specifying different panels for left/right scroll button and tab buttons.

2023-01-27 12:30:38 +02:00

UpdateRule.cs

Remove the copyright year numbers

2023-01-11 11:58:54 +02:00

UpdateUtils.cs

Only update changed files when saving maps.

2023-01-27 07:43:25 +01:00