Dirk Mueller 61fdf0f790
Merge pull request #2914 from DimStar77/tweak
accept_command: cleanup redundant ports_prjs assignment
2023-01-25 18:46:11 +01:00
..
2022-02-18 18:29:27 +01:00
2022-02-18 18:17:27 +01:00
2022-02-18 18:29:27 +01:00
2022-02-18 18:29:27 +01:00
2022-02-18 18:29:27 +01:00
2022-02-18 18:29:27 +01:00
2022-02-18 18:17:27 +01:00
2022-02-18 18:29:27 +01:00
2022-02-18 18:17:27 +01:00
2022-02-18 18:17:27 +01:00
2022-02-18 18:17:27 +01:00