On 31-7-2014 12:54, Michael Olbrich wrote: > Should work now. Please test. 'ptxdist --version' should work again as well. > That was probably broken too.
Yep, it works. And yes ptxdist --version was also broken. Tanks, Erwin -- ptxdist mailing list [email protected]
