recent: Rename recent_topics_ui.

This commit is contained in:
evykassirer
2023-09-06 14:14:37 -07:00
committed by Tim Abbott
parent 9a6f7f0ead
commit f8db06569f
19 changed files with 53 additions and 53 deletions

View File

@@ -146,7 +146,7 @@ EXEMPT_FILES = make_set(
"web/src/realm_logo.js",
"web/src/realm_playground.ts",
"web/src/realm_user_settings_defaults.ts",
"web/src/recent_topics_ui.js",
"web/src/recent_view_ui.js",
"web/src/recent_topics_util.js",
"web/src/reload.js",
"web/src/reminder.js",