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-13 19:36:20 +0200 |
commit | da986c6721b0f90d70187412328ee97286f0cc84 (patch) | |
tree | 8b63e6db2531a4088e2d66c79c355bc8dcf66448 /ui/src/main/res/values-da-rDK | |
parent | 388bc1ea9b465727c7942d3fc483fa3583e765fc (diff) |
ui: remove unused extra_margin constant
Signed-off-by: Jason A. Donenfeld <Jason@zx2c4.com>
Diffstat (limited to 'ui/src/main/res/values-da-rDK')
0 files changed, 0 insertions, 0 deletions