wok diff awesome/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: 0606c4356e47
children: bd2dfe2c0c09
     1.1 --- a/awesome/receipt	Fri Dec 04 21:23:22 2015 +0100
     1.2 +++ b/awesome/receipt	Tue May 28 15:59:29 2019 +0100
     1.3 @@ -62,3 +62,9 @@
     1.4  		sed -i s/,$PACKAGE// "$1/etc/slim.conf"
     1.5  	fi
     1.6  }
     1.7 +
     1.8 +## -----------------------------------------------------------------------
     1.9 +## Revision: 03/Aug/2017 - SliTaz DevTeam.
    1.10 +## Website: "http://awesome.naquadah.org/" is OFF.
    1.11 +## This looks good? => https://awesomewm.org/
    1.12 +## !! Please, remove this after you update. Thank you.