wok diff openmotif-man/receipt @ rev 21632

openmotif: modified WGET_URL
author Hans-G?nter Theisgen
date Tue May 28 15:03:42 2019 +0100 (2019-05-28)
parents b038d4328f6c
children 381f759402e1
line diff
     1.1 --- a/openmotif-man/receipt	Tue May 28 14:54:31 2019 +0100
     1.2 +++ b/openmotif-man/receipt	Tue May 28 15:03:42 2019 +0100
     1.3 @@ -16,3 +16,4 @@
     1.4  	mkdir -p $fs/usr/share
     1.5  	cp -a $install/usr/share/man $fs/usr/share
     1.6  }
     1.7 +