wok diff openbox/receipt @ rev 23710

updated ubuntu-font-family (0.80 -> 0.83)
author: Hans-G?nter Theisgen
date: Tue Apr 28 17:22:54 2020 +0100 (2020-04-28)
parents: 1c458fa173fb
children: ee53899c6189
     1.1 --- a/openbox/receipt	Sat Oct 22 10:46:42 2016 +0200
     1.2 +++ b/openbox/receipt	Tue Apr 28 17:22:54 2020 +0100
     1.3 @@ -33,6 +33,7 @@
     1.4  compile_rules()
     1.5  {
     1.6  	chmod +x install-sh
     1.7 +	patch -p1 < ${stuff}/openbox-rounded.patch || exit 1
     1.8  	./configure \
     1.9  		--prefix=/usr \
    1.10  		--sysconfdir=/etc \