wok diff pcmanfm-legacy/receipt @ rev 21559

updated fontforge (20170730 -> 20190413)
author: Hans-G?nter Theisgen
date: Thu May 16 16:45:53 2019 +0100 (2019-05-16)
parents: 0dfcb8e462b4
children: 19141648d795
     1.1 --- a/pcmanfm-legacy/receipt	Sat Mar 12 07:52:00 2016 +0100
     1.2 +++ b/pcmanfm-legacy/receipt	Thu May 16 16:45:53 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  }