m0viefreak 865151fef8 merge date and time font size preference into one ... The header changes merged those, so remove the now unneeded preferece, too.		2013-02-11 13:05:52 +01:00
..
strings.xml	merge date and time font size preference into one	2013-02-11 13:05:52 +01:00