wok diff discount-dev/receipt @ rev 22805

updated gawk (4.2.1 -> 5.0.1)
author Hans-G?nter Theisgen
date Tue Jan 28 10:03:39 2020 +0100 (2020-01-28)
parents fb8526ee16f5
children 8cd7415960ec
line diff
     1.1 --- a/discount-dev/receipt	Thu Jan 23 17:26:34 2020 +0100
     1.2 +++ b/discount-dev/receipt	Tue Jan 28 10:03:39 2020 +0100
     1.3 @@ -21,3 +21,4 @@
     1.4  	cp -a $install/usr/include	$fs/usr
     1.5  	cp -a $install/usr/lib		$fs/usr
     1.6  }
     1.7 +