jenkins-bot 93ca7f2eee Merge "Move hamburger icon generation into Director"		2019-06-26 19:13:55 +00:00
..
AdvancedBuilder.php	Hygiene: Add return types for known services	2019-06-21 19:06:04 +02:00
DefaultBuilder.php	Hygiene: Add return types for known services	2019-06-21 19:06:04 +02:00
Director.php	Merge "Move hamburger icon generation into Director"	2019-06-26 19:13:55 +00:00
IBuilder.php	Hygiene: Add return types for known services	2019-06-21 19:06:04 +02:00