wok diff ptxdist/receipt @ 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 | 91e30acbe640 |
author | Hans-G?nter Theisgen |
---|---|
date | Wed Jun 12 15:14:06 2019 +0100 (2019-06-12) |
parents | dac886dad97b |
children | 91e30acbe640 |