From cefc4a17f4dd077bb36168ec6f7399d2d1d5e1e8 Mon Sep 17 00:00:00 2001 From: M Fahru Date: Fri, 21 Oct 2022 15:35:48 -0700 Subject: [PATCH] Migrate dropbox menu to react GitOrigin-RevId: f06ce85c32f2615e14552a1379bcef94cee4f31d --- services/web/frontend/extracted-translations.json | 1 + 1 file changed, 1 insertion(+) diff --git a/services/web/frontend/extracted-translations.json b/services/web/frontend/extracted-translations.json index e67975e80a..90d29fef46 100644 --- a/services/web/frontend/extracted-translations.json +++ b/services/web/frontend/extracted-translations.json @@ -618,6 +618,7 @@ "sure_you_want_to_delete": "", "switch_to_editor": "", "switch_to_pdf": "", + "sync": "", "sync_project_to_github_explanation": "", "sync_to_dropbox": "", "sync_to_github": "",