3 Commits

Include renames

Author	SHA1	Message	Date
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
Mario Vavti	7dadf387e5	indicate locked features	2018-10-01 11:01:56 +02:00
Mario	85e06a77af	add file	2018-09-24 09:34:28 +02:00