wok diff gnustep-gui-dev/receipt @ rev 25500

new default version for java8-jre
author Hans-G?nter Theisgen
date Fri Dec 30 10:14:12 2022 +0100 (22 months ago)
parents 77cf81161f50
children 05dca430ef91
line diff
     1.1 --- a/gnustep-gui-dev/receipt	Wed Feb 16 09:40:16 2022 +0100
     1.2 +++ b/gnustep-gui-dev/receipt	Fri Dec 30 10:14:12 2022 +0100
     1.3 @@ -19,3 +19,4 @@
     1.4  	cp -a $install/usr/include		$fs/usr
     1.5  	cp -a $install/usr/share/GNUstep	$fs/usr/share
     1.6  }
     1.7 +