Allow to install plugins in docker image#542
Merged
sumo-drosiek merged 4 commits intomasterfrom drosiek-install-custom-pluginsApr 1, 2020
+36-2
Commits
Commits on Apr 1, 2020
- committed
Dominik Rosiek - committedDominik Rosiek
- authored
- committedTravis CI
