diff options
Diffstat (limited to 'src/ui/android/res/values/strings.xml')
| -rw-r--r-- | src/ui/android/res/values/strings.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ui/android/res/values/strings.xml b/src/ui/android/res/values/strings.xml index 6ce31d213..a4d02295d 100644 --- a/src/ui/android/res/values/strings.xml +++ b/src/ui/android/res/values/strings.xml @@ -11,6 +11,7 @@ <string name="help">Help</string> <string name="global_preferences_key">org.grammaticalframework.ui.android.GLOBAL_PREFERENCES</string> + <string name="authority_key">authority_key</string> <string name="source_key">source_key</string> <string name="target_key">target_key</string> <string name="alternatives_key">alternatives_key</string> |