This repository has been archived on 2024-08-19. You can view files and clone it. You cannot open issues or pull requests or push a commit.

Mario Vavti d4af745fc8 move *_divmore_height setting to the module extra_settings, and fix issue where feature settings were not synced if rpath was provided

2018-10-04 21:38:39 +02:00

9.4 KiB

Raw Blame History

View Raw