Daniel Gultsch 9db0c85cda rename 'add to favorites' to 'pin to top'		2020-09-02 10:13:10 +02:00
..
strings.xml	rename 'add to favorites' to 'pin to top'	2020-09-02 10:13:10 +02:00