Remove docker workaround - #11

Remove docker workaround#11

mguetschow wants to merge 2 commits into

inetrg:masterinetrg/exercises:masterfrom

mguetschow:remove-docker-workaroundmguetschow/RIOT-exercises:remove-docker-workaroundCopy head branch name to clipboard