2 Commits

Author	SHA1	Message	Date
Tomas Mlcoch	291c509c2f	Doc: Replace fetch & fetch tags & merge combo with pull --rebase ... $ git pull --rebase upstream master will work also when there are commits on master branch - it will just rebase the changes seamlessly in opposite to git merge. Moreover by using git pull --rebase we will save two calls of git.	2015-09-09 03:58:30 -04:00
Daniel Mach	a3d46f5393	Rewrite documentation to Sphinx.	2015-07-02 09:18:49 -04:00