Davide De Rosa 8e1b67d151 Infer profile id uniqueness by context ... Drop "(provider|host)." prefix, reuse as title.		2018-10-26 17:37:52 +02:00
..
Resources	Only make host editable if original cfg available	2018-10-25 22:57:42 +02:00
Sources	Infer profile id uniqueness by context	2018-10-26 17:37:52 +02:00