wok diff mariadb-dev/receipt @ 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 2b545d56eedc
children b56b38cfd475
line diff
     1.1 --- a/mariadb-dev/receipt	Tue Jun 03 00:52:44 2014 +0200
     1.2 +++ b/mariadb-dev/receipt	Thu Feb 06 11:31:14 2020 +0100
     1.3 @@ -26,3 +26,4 @@
     1.4  		cp -a $install$file $fs$file
     1.5  	done < $wanted_stuff/$PACKAGE.files-list
     1.6  }
     1.7 +