search

gnome-prototypes-team / gnome-music

Gnome Music
https://live.gnome.org/Music
Other
5 stars 13 forks source link

use version_micro instead of get_arguments. #188

Closed sumansai14 closed 11 years ago

kyoushuu commented 11 years ago

Followed Vadim's comment, and ammended Sai's patch. Merged to git master.