Drop dev- prefix from printed version number, just SVN-rXXXXX is enough.
git-svn-id: svn://svn.mplayerhq.hu/mplayer/trunk@28367 b3059339-0415-0410-9bf9-f77b7e298cf2
D
diego committed
fc8435ee6d830070c72913224f10ffa10c0d4323
Parent: 85b28eb