tools-exporters! - disable inclusion of repo-dirs in zips by default#2697

Merged

sg- merged 1 commit intoARMmbed:masterfrom theotherjimmy:export-repos-togleable

Sep 16, 2016

+15-15

Commits on Sep 13, 2016

Add a inc_repos option to the exporters
theotherjimmy
committed