wok-current diff locale-es/receipt @ rev 21634

updated openmpi and openmpi-dev (1.5.3 -> 4.0.1)
author: Hans-G?nter Theisgen
date: Tue May 28 15:59:29 2019 +0100 (2019-05-28)
parents: 7042a09beaeb
children: a4853170daf3
     1.1 --- a/locale-es/receipt	Fri Jun 03 01:02:47 2016 +0300
     1.2 +++ b/locale-es/receipt	Tue May 28 15:59:29 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  }