wok-current diff locale-el/receipt @ rev 21835

updated re2c (0.13.5 -> 1.2.1)
author: Hans-G?nter Theisgen
date: Sat Sep 14 10:21:53 2019 +0100 (2019-09-14)
parents: 7042a09beaeb
children: a4853170daf3
     1.1 --- a/locale-el/receipt	Fri Jun 03 01:02:47 2016 +0300
     1.2 +++ b/locale-el/receipt	Sat Sep 14 10:21:53 2019 +0100
     1.3 @@ -29,5 +29,6 @@
     1.4  # Back to C if it's the last used locale.
     1.5  post_remove()
     1.6  {
     1.7 +	grep -q =$LOCALE /etc/locale.conf &&
     1.8  	echo -e "LANG=C\nLC_ALL=C" > /etc/locale.conf
     1.9  }