Alice Kober-Sotzek 8a9d8a42eb Use the term 'subgroup' instead of 'includes' where possible ... The term 'includes' can be a bit confusing and misleading, in particular as users which belong to a group aren't covered by it. The term 'subgroup' more accurately describes the concept and emphasizes the separation between groups and users. All relevant parts of the server code as well as the documentation are adapted to this new naming. Occurrences of the term in the REST or Java API are left as is to not break compatibility. Change-Id: Id952509eaf3e86e9361fb8f803cc160807b58239		2017-09-13 14:57:46 +02:00
..
src	Use the term 'subgroup' instead of 'includes' where possible	2017-09-13 14:57:46 +02:00
BUILD	Split out build rule for metrics interfaces	2017-08-16 08:20:38 -04:00