Juan RP 12a65a1734 virtuoso: downgrade to 6.1.6; 6.1.7 causes problems in kde.		2013-09-05 07:57:29 +02:00
..
template	virtuoso: downgrade to 6.1.6; 6.1.7 causes problems in kde.	2013-09-05 07:57:29 +02:00