wok rev 21724

updated ptxdist again (2012.03.0 -> 2019.06.0)
author Hans-G?nter Theisgen
date Wed Jun 12 15:14:06 2019 +0100 (2019-06-12)
parents dac886dad97b
children f98cd9ce8bd8
files ptxdist/receipt
line diff
     1.1 --- a/ptxdist/receipt	Wed Jun 12 15:08:31 2019 +0100
     1.2 +++ b/ptxdist/receipt	Wed Jun 12 15:14:06 2019 +0100
     1.3 @@ -31,3 +31,4 @@
     1.4  $ make menuconfig
     1.5  EOT
     1.6  }
     1.7 +