0.12.5: remove //dev// suffix and svn revision tagging.
0.12.5: remove //dev// suffix and svn revision tagging.

git-svn-id: 30ec3c1a2098df185a8733d0352d646269562639@11517 af82e41b-90c4-0310-8c96-b1721e28e2e2

exocad/exotrac,exocad/exotrac,exocad/exotrac,exocad/exotrac