robotics & programming
Showing posts with label
merge
.
Show all posts
Showing posts with label
merge
.
Show all posts
Friday, February 15, 2019
git merge tool
$ sudo apt-get install meld
$ git config -global merge.tool meld
$ git merge [Other branch to merge]
$ git mergetool
Older Posts
Home
Subscribe to:
Posts (Atom)