Juan RP 1f981a836a mariadb: update to 10.0.12; switch to libressl.		2014-07-18 15:17:46 +02:00
..
files	…
INSTALL	…
template	…