wok diff openmotif-man/receipt @ rev 24533

updated f3 (7.2 -> 8.0)
author Hans-G?nter Theisgen
date Wed Feb 23 11:14:10 2022 +0100 (2022-02-23)
parents 9eb4a7f42423
children
line diff
     1.1 --- a/openmotif-man/receipt	Tue May 28 15:03:42 2019 +0100
     1.2 +++ b/openmotif-man/receipt	Wed Feb 23 11:14:10 2022 +0100
     1.3 @@ -16,4 +16,3 @@
     1.4  	mkdir -p $fs/usr/share
     1.5  	cp -a $install/usr/share/man $fs/usr/share
     1.6  }
     1.7 -