Jules Aguillon f451902efa Refactor: Remove dimens used as option defaults ... The conversion into px was done twice, leading to wrong values.		2023-06-03 20:20:09 +02:00
..
dimens.xml	Refactor: Remove dimens used as option defaults	2023-06-03 20:20:09 +02:00