2012-12-08



Remember: If you want to push git tags into another repo, use:

     git push --tags

I'll never become friends with git, no no.



http://marmaro.de/lue/        markus schnalke <meillo@marmaro.de>