wok-current diff pcmanfm-legacy/receipt @ rev 21678

updated pgrouting (2.5.2 -> 2.6.2)
author: Hans-G?nter Theisgen
date: Sun Jun 02 10:56:29 2019 +0100 (2019-06-02)
parents: 0dfcb8e462b4
children: 19141648d795
     1.1 --- a/pcmanfm-legacy/receipt	Sat Mar 12 07:52:00 2016 +0100
     1.2 +++ b/pcmanfm-legacy/receipt	Sun Jun 02 10:56:29 2019 +0100
     1.3 @@ -63,6 +63,7 @@
     1.4  post_install()
     1.5  {
     1.6  	# update mime-cache
     1.7 +	echo
     1.8  	echo "Updating mime-types database"
     1.9  	chroot "$1/" /usr/bin/update-mime-database /usr/share/mime
    1.10  }