diff --git a/tool/pull_subproject b/tool/pull_subproject index 3d5f6803..c53cd826 100755 --- a/tool/pull_subproject +++ b/tool/pull_subproject @@ -8,7 +8,6 @@ if [ "$#" == "0" ]; then fi set -ex -shift for project in $*; do git subtree add --prefix="packages/$project" "https://github.com/angel-dart/$project.git" master