slightly quicker pdi loading
authorPaul Hänsch <paul@plutz.net>
Wed, 6 Feb 2019 23:30:41 +0000 (00:30 +0100)
committerPaul Hänsch <paul@plutz.net>
Wed, 6 Feb 2019 23:30:41 +0000 (00:30 +0100)
commit4a445e41cc1395fddeac0f9d080a5366249d1ea8
tree1273972517cedebb965585f7d879f840b6bd0d2c
parente090b8bd26739537e895d60b931f82b64d8db6c4
slightly quicker pdi loading
pdiread.sh