Vladimír Čunát 716aac2519 Merge branch 'staging' into closure-size		2016-01-19 09:55:31 +01:00
..
mariadb	Merge branch 'master' into closure-size	2015-12-11 18:31:00 +01:00
monetdb
mysql	mysql55: remove lib/*.a, as probably noone needs it	2015-10-03 11:24:17 +02:00
oracle-xe
pgpool
postgresql	Merge branch 'staging' into closure-size	2016-01-19 09:55:31 +01:00
virtuoso