trevphil Merge pull request #20 from duckietown-ethz/v1
307b46e Dec 19, 2019
Merge pull request #20 from duckietown-ethz/v1
Remove unused folders
307b46e