user_group_settings_ui: Merge into user_group_edit.

Signed-off-by: Anders Kaseorg <anders@zulip.com>
This commit is contained in:
Anders Kaseorg
2023-10-07 00:30:27 -07:00
committed by Tim Abbott
parent 63b4e74cea
commit 5327bcc5ac
7 changed files with 381 additions and 404 deletions

View File

@@ -257,7 +257,6 @@ EXEMPT_FILES = make_set(
"web/src/user_group_popover.js",
"web/src/user_group_ui_updates.js",
"web/src/user_groups.ts",
"web/src/user_groups_settings_ui.js",
"web/src/user_profile.js",
"web/src/user_settings.ts",
"web/src/user_sort.js",