diff options
| author | Jason A. Donenfeld <Jason@zx2c4.com> | 2023-04-13 19:36:20 +0200 |
|---|---|---|
| committer | Jason A. Donenfeld <Jason@zx2c4.com> | 2023-04-27 14:27:01 +0200 |
| commit | bf441791414dc9580b19e07e886d5d489ca05581 (patch) | |
| tree | e6694a3313647b12aa94ca80cc3ec44f96bfcbdc | |
| parent | 15a39b96e42411ef89c4f27c45da3a3bb8aca433 (diff) | |
ui: remove unused extra_margin constant
Signed-off-by: Jason A. Donenfeld <Jason@zx2c4.com>
| -rw-r--r-- | ui/src/main/res/values/dimens.xml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/ui/src/main/res/values/dimens.xml b/ui/src/main/res/values/dimens.xml index ddb4deac..8ea07dfb 100644 --- a/ui/src/main/res/values/dimens.xml +++ b/ui/src/main/res/values/dimens.xml @@ -1,7 +1,6 @@ <?xml version="1.0" encoding="utf-8"?> <resources> <dimen name="fab_margin">16dp</dimen> - <dimen name="extra_margin">12dp</dimen> <dimen name="bottom_sheet_item_height">56dp</dimen> <dimen name="normal_margin">8dp</dimen> <dimen name="bottom_sheet_top_padding">8dp</dimen> |