Matthias Kretschmann 0562a59e7d make headers use optional tagline (#114)		2017-04-11 14:30:58 +02:00
..
images	updated branding (#99)	2017-04-10 17:14:35 +02:00
javascripts	updated branding (#99)	2017-04-10 17:14:35 +02:00
styles	make headers use optional tagline (#114)	2017-04-11 14:30:58 +02:00