Juan RP e4c2dc6b57 synergy: indent, improve $long_desc, use $makejobs.		2011-06-19 19:34:59 +02:00
..
template	synergy: indent, improve $long_desc, use $makejobs.	2011-06-19 19:34:59 +02:00