02.03.2014 - This is the repository for my masters thesis -- Armin Schlegel GIT instructions: * adding new files git add * * deleting files from repo git rm * * commit changed files: git commit -am 'message' * push commit to github git push origin master * update local repo from github git pull --- creating a patch: diff -uNr original/ new/ > original.patch use a patch: cd original patch -p1 < ../patch.file