wok diff mariadb/stuff/mariadb-dev.files-list @ rev 19394

mv pdfgrep to wok-undigest
author Paul Issott <paul@slitaz.org>
date Mon Aug 29 17:25:51 2016 +0100 (2016-08-29)
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	Mon Aug 29 17:25:51 2016 +0100
     1.3 @@ -0,0 +1,1 @@
     1.4 +/usr/bin/mysql_config