Roman Rizzi eb26bee046 DEV: group_list site settings should store IDs instead of group names (#7860) ... * DEV: group_list site settings should store IDs instead of group names * Ship site setting to know when we should migrate group_list settings * Migrate existing group_list site settings * Bump migration timestamp and don't set null when migrating is not possible.		2019-07-19 15:17:58 -03:00
..
components	DEV: group_list site settings should store IDs instead of group names (#7860)	2019-07-19 15:17:58 -03:00
controllers	UX: improvements to admin theme UI	2018-09-17 09:49:53 +10:00
models	DEV: introduces prettier for es6 files	2018-06-15 17:03:24 +02:00