split python tool, comments

simplified process_runner
renamed git_tool to git_wrap, it's just too confusing to have git that's a tool and a git_tool that's not a tool
This commit is contained in:
isanae
2020-12-03 17:45:33 -05:00
parent 36fbf69a10
commit d6db197a6d
25 changed files with 806 additions and 349 deletions
+1 -1
View File
@@ -83,7 +83,7 @@ void python::do_clean(clean c)
{
if (is_set(c, clean::reclone))
{
git_tool::delete_directory(cx(), source_path());
git_wrap::delete_directory(cx(), source_path());
return;
}