From 0b0a5531237c7e7af20302de79d92377f956045b Mon Sep 17 00:00:00 2001
From: "Jason A. Donenfeld" <Jason@zx2c4.com>
Date: Thu, 13 Apr 2023 19:36:20 +0200
Subject: ui: remove unused extra_margin constant

Signed-off-by: Jason A. Donenfeld <Jason@zx2c4.com>
---
 ui/src/main/res/values/dimens.xml | 1 -
 1 file changed, 1 deletion(-)

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>
-- 
cgit v1.2.3