diff options
| author | krasimir <krasimir@chalmers.se> | 2015-11-28 23:15:58 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2015-11-28 23:15:58 +0000 |
| commit | fffab8746909950b7a1bbcbe6271dd541266dd52 (patch) | |
| tree | 8df09145bc1fca1acc56c23259397d40486d6b8f /src/ui/android/res | |
| parent | 06043c06c7d03da27cebb9c04834c20b50fca2d6 (diff) | |
visualization for topics in the Android app
Diffstat (limited to 'src/ui/android/res')
| -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> |