Daniel Willmann 12984ef36d deps: Ensure that branches are updated on make update as well ... Don't just force-checkout the local master branch again, but reset to origin/master Change-Id: I7d5e0e3d7f92fc51fa438b92f00c79f63945e74f		2018-02-06 16:04:04 +01:00
..
Makefile	deps: Ensure that branches are updated on make update as well	2018-02-06 16:04:04 +01:00