wok diff squirrelmail-vkeyboard/receipt @ rev 21463

updated mobile-broadband-provider-info and mobile-broadband-provider-info-dev (20120614 -> 20190116)
author: Hans-G?nter Theisgen
date: Tue Apr 30 14:12:14 2019 +0100 (2019-04-30)
parents: d51b2411e55e
children: 46dcc80bef41
     1.1 --- a/squirrelmail-vkeyboard/receipt	Sat Apr 05 10:12:34 2014 +0000
     1.2 +++ b/squirrelmail-vkeyboard/receipt	Tue Apr 30 14:12:14 2019 +0100
     1.3 @@ -35,7 +35,7 @@
     1.4  
     1.5  post_install()
     1.6  {
     1.7 -	echo "\$plugins[] = '$SOURCE';" >> $1/etc/squirrelmail/config_local.php
     1.8 +	echo "\$plugins[] = '$SOURCE';" >> "$1/etc/squirrelmail/config_local.php"
     1.9  }
    1.10  
    1.11  pre_remove()