wok-current diff 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 diff
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/mariadb/stuff/mariadb-dev.files-list	Sat Mar 28 16:53:31 2020 +0100
     1.3 @@ -0,0 +1,1 @@
     1.4 +/usr/bin/mysql_config