diff options
| author | John J. Camilleri <john@digitalgrammars.com> | 2018-11-15 10:33:31 +0100 |
|---|---|---|
| committer | John J. Camilleri <john@digitalgrammars.com> | 2018-11-15 10:33:31 +0100 |
| commit | 735f5ff76f79ca53a1b2ed8cc0e13a75c9a01f5d (patch) | |
| tree | 707e0f575302284d17345f61899569ab16711ff2 /src/ui/android/res/values/dimens.xml | |
| parent | 422248f11fdb1aa76af72bee67d30ea8d63fa892 (diff) | |
Remove `src/ui` folder, moved to:
https://github.com/GrammaticalFramework/gf-offline-translator
Diffstat (limited to 'src/ui/android/res/values/dimens.xml')
| -rw-r--r-- | src/ui/android/res/values/dimens.xml | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/src/ui/android/res/values/dimens.xml b/src/ui/android/res/values/dimens.xml deleted file mode 100644 index 04289dc79..000000000 --- a/src/ui/android/res/values/dimens.xml +++ /dev/null @@ -1,10 +0,0 @@ -<resources> - - <!-- Default screen margins, per the Android Design guidelines. --> - <dimen name="activity_horizontal_margin">16dp</dimen> - <dimen name="activity_vertical_margin">16dp</dimen> - <dimen name="key_height">50dip</dimen> - <dimen name="candidate_font_height">25sp</dimen> - <dimen name="candidate_vertical_padding">6sp</dimen> - -</resources> |