Skip to content
Permalink
Browse files

Removed autogenerated folder from git pull make

The folder plugins is autogenerated and no git repository so doing a git pull there will have no effect
  • Loading branch information...
promasu committed May 11, 2019
1 parent 9a530e4 commit 0b7087150bd6025917cccf8371f75e4a19567286
Showing with 0 additions and 5 deletions.
  1. +0 −5 Makefile
@@ -50,11 +50,6 @@ git_pull:
git pull
git stash pop
cd ..
cd plugins
git stash
git pull
git stash pop
cd ..
cd plugins-public
git stash
git pull

0 comments on commit 0b70871

Please sign in to comment.
You can’t perform that action at this time.