diff options
| author | Daniel Gultsch <daniel.gultsch@rwth-aachen.de> | 2014-05-03 17:06:54 +0200 |
|---|---|---|
| committer | Daniel Gultsch <daniel.gultsch@rwth-aachen.de> | 2014-05-03 17:06:54 +0200 |
| commit | be2f7e047a488d5ca7de04dfa5437c290882274e (patch) | |
| tree | f7a2dc71a1c57bd379a0f840069ef8bd814684e1 /res/values/dimens.xml | |
| parent | 4893d8030b049747e220d58edccb2fd00f3f1bce (diff) | |
more cleanup in res files
Diffstat (limited to 'res/values/dimens.xml')
| -rw-r--r-- | res/values/dimens.xml | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/res/values/dimens.xml b/res/values/dimens.xml deleted file mode 100644 index 55c1e590..00000000 --- a/res/values/dimens.xml +++ /dev/null @@ -1,7 +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> - -</resources> |