Vladimír Čunát f7d5210677 mysql55: remove lib/*.a, as probably noone needs it ...

/cc #172.

2015-10-03 11:24:17 +02:00

..

mariadb

mariadb: 10.0.20 -> 10.0.21

2015-08-07 14:19:15 -07:00

monetdb

…

mysql

mysql55: remove lib/*.a, as probably noone needs it

2015-10-03 11:24:17 +02:00

oracle-xe

…

pgpool

…

postgresql

…

virtuoso

…