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 | 0b0a5531237c7e7af20302de79d92377f956045b (patch) | |
tree | f7e8f172141a8d352d618f81a1106667325f638e /ui/src/debug/res/values/strings.xml | |
parent | 6d4d2f4ebfc4e4dfa29e9ef0e1703fb1a7a358c3 (diff) |
ui: remove unused extra_margin constant
Signed-off-by: Jason A. Donenfeld <Jason@zx2c4.com>
Diffstat (limited to 'ui/src/debug/res/values/strings.xml')
0 files changed, 0 insertions, 0 deletions