wok-current view mariadb/stuff/mariadb-dev.files-list @ rev 23278

updated pari and pari-dev (2.11.2 -> 2.11.3)
author Hans-G?nter Theisgen
date Sat Mar 28 16:53:31 2020 +0100 (2020-03-28)
parents
children
line source
1 /usr/bin/mysql_config