# HG changeset patch
# User Hans-G?nter Theisgen
# Date 1560348846 -3600
# Node ID c3910dbc811552322c782bc71e86eca9f5ebd8da
# Parent  dac886dad97bc2fa6dd35711d8dce23f3fe04cf7
updated ptxdist again (2012.03.0 -> 2019.06.0)

diff -r dac886dad97b -r c3910dbc8115 ptxdist/receipt
--- a/ptxdist/receipt	Wed Jun 12 15:08:31 2019 +0100
+++ b/ptxdist/receipt	Wed Jun 12 15:14:06 2019 +0100
@@ -31,3 +31,4 @@
 $ make menuconfig
 EOT
 }
+