Luca Bruno 7b33973ea5 gtksourceview: add 3.12.2 version and use mirror		2014-05-20 13:41:37 +02:00
..
3.10	Branch gnome 3.12	2014-05-20 13:41:33 +02:00
3.12	gtksourceview: add 3.12.2 version and use mirror	2014-05-20 13:41:37 +02:00