Davide De Rosa 2d2884fdea Export profiles to separate JSONs ... Use id as contextual filename.		2018-10-26 18:03:28 +02:00
..
Resources	Only make host editable if original cfg available	2018-10-25 22:57:42 +02:00
Sources	Export profiles to separate JSONs	2018-10-26 18:03:28 +02:00