2022-05-18 14:35:19 +00:00
|
|
|
{
|
2022-05-19 20:07:57 +00:00
|
|
|
"AllUsers": "Alle gebruikers",
|
2021-12-01 09:35:25 +00:00
|
|
|
"CustomAllGroups": "Alle {{ groupsCaption, lowercase }}",
|
|
|
|
|
"EmptySearchUsersResult": "Er zijn geen gebruikers met een dergelijke naam",
|
|
|
|
|
"EmptyUsers": "Er zijn geen gebruikers",
|
|
|
|
|
"SearchUsersPlaceholder": "Zoek gebruikers"
|
2022-05-18 14:35:19 +00:00
|
|
|
}
|
