Readme file updated with information for syncng a fork to the main repo. after pull request approval.

Other cosmetic changes:
- removal of unused headers;
- space deletion.
This commit is contained in:
Éder Ferreira Zulian
2015-06-02 17:58:12 +02:00
parent d454ed1a5b
commit 9998400a5d
3 changed files with 12 additions and 4 deletions

View File

@@ -38,6 +38,16 @@ your changes to the official codebase.
$ git clone --recursive https://<user>@git.rhrk.uni-kl.de/<user>/dram.vp.system.git
```
After a pull request being accepted and merged into the official repository
you should get your fork updated.
``` bash
$ git fetch upstream
$ git checkout master
$ git merge upstream/master
$ git push origin HEAD
```
After cloning go to the project directory.
``` bash