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