Skip to content

clear log directory before / after a build#814

Merged
dirk-thomas merged 1 commit intomasterfrom dirk-thomas/delete-log-dirJun 19, 2020

Commits

Commits on Jun 19, 2020