Juergen E. Fischer a3ec30a03a * remove ext-libs that are already available on target platforms
* drop ubuntu precise support (not built anymore anyway)
2017-03-10 09:38:13 +01:00
..
2016-01-08 21:32:11 +01:00