Revision ff37ed7c3451b63aea685c4b5c94fd584461a79c

Committed on 24/10/2013 6:10 am by gggeek <gg@ez.no> [GitHub Diff]

Allow git tags to be different from version name