Daniel Gultsch 7d2a9624b5 make use of different dimensions for different screen sizes		2015-01-13 11:52:41 +01:00
..
main	make use of different dimensions for different screen sizes	2015-01-13 11:52:41 +01:00