wok diff mysql/stuff/mysql-dev.files-list @ rev 22821

updated geos and geos-dev (3.5.0 -> 3.8.0)
author Hans-G?nter Theisgen
date Thu Feb 06 11:31:14 2020 +0100 (2020-02-06)
parents 91e8a40cf500
children
line diff
     1.1 --- a/mysql/stuff/mysql-dev.files-list	Thu Jul 24 13:32:43 2008 +0000
     1.2 +++ b/mysql/stuff/mysql-dev.files-list	Thu Feb 06 11:31:14 2020 +0100
     1.3 @@ -1,2 +1,1 @@
     1.4 -/usr/bin/comp_err
     1.5  /usr/bin/mysql_config