Update Contribute.md

klee-contrib · Aug 25, 2015 · 3665b47 · 3665b47
1 parent 4508a50
commit 3665b47
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Contribute.md b/Contribute.md
@@ -4,7 +4,7 @@
 - Fork the project
 - ![fork](https://cloud.githubusercontent.com/assets/286966/9465819/2e2fda74-4b30-11e5-9311-3838cbdc07db.png)
 - Add focus as a [remote origin](https://help.github.com/articles/configuring-a-remote-for-a-fork/)
-`git remote add upstream https://github.com/KleeGroup/focus.git`
+For focus, `git remote add upstream https://github.com/KleeGroup/focus.git`, for FocusComponents `git remote add upstream https://github.com/KleeGroup/focus-components.git`
 
 - Stay up to date with focus , read this [article](https://help.github.com/articles/syncing-a-fork/)
 ```