v2014.06.0-00018

Carsten Schlote

@cschlote

01bb59b6 · ptxdist: Refreshed configs · Jun 16, 2014

Working version with ptxdist v2014.06.0-00018