2017-07-13 19:14:02 +02:00
|
|
|
<?xml version="1.0" encoding="utf-8"?>
|
|
|
|
|
<resources>
|
|
|
|
|
<dimen name="splash_screen_logo_top">300dp</dimen>
|
|
|
|
|
<dimen name="splash_screen_text_bottom">200dp</dimen>
|
2017-08-17 17:00:53 +02:00
|
|
|
|
|
|
|
|
<dimen name="measurement_tool_select_radius">48dp</dimen>
|
2017-07-13 19:14:02 +02:00
|
|
|
</resources>
|
