diff options
| author | Taco <SkytkRSfan3895@gmail.com> | 2024-03-04 17:07:28 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-03-04 23:07:28 +0100 |
| commit | 40da13e014a5b0c6e31b0234e31dac8c55473262 (patch) | |
| tree | e3486b010b88415b83ae1c0467e3ce2890772fb6 /ui/i18n | |
| parent | c06a3a6d27c61910e06041c70d9113a7ef4c4c5f (diff) | |
| download | AntennaPod-40da13e014a5b0c6e31b0234e31dac8c55473262.zip | |
Clean up some dead code (#6952)
Diffstat (limited to 'ui/i18n')
| -rw-r--r-- | ui/i18n/src/main/res/values/strings.xml | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/ui/i18n/src/main/res/values/strings.xml b/ui/i18n/src/main/res/values/strings.xml index 03044a79d..1ce509002 100644 --- a/ui/i18n/src/main/res/values/strings.xml +++ b/ui/i18n/src/main/res/values/strings.xml @@ -320,11 +320,6 @@ <!-- Mediaplayer messages --> <string name="playback_error_generic"><![CDATA[The media file could not be played.\n\n- Try deleting and re-downloading the episode.\n- Check your network connection, and make sure no VPN or login page is blocking access.\n- Try long-pressing and sharing the \"Media address\" to your web browser to see if it can be played there. If not, contact the podcast creators.]]></string> - <string name="playback_error_server_died">Server died</string> - <string name="playback_error_unsupported">Unsupported media type</string> - <string name="playback_error_timeout">Operation timed out</string> - <string name="playback_error_source">Unable to access media file</string> - <string name="playback_error_unknown">Unknown error</string> <string name="no_media_playing_label">No media playing</string> <string name="position_default_label" translatable="false">00:00:00</string> <string name="unknown_media_key">AntennaPod - Unknown media key: %1$d</string> |