Dub platform probes

[Andre Pany]

On Monday, 25 May 2020 at 22:58:54 UTC, Tim wrote:
> Hi all
>
> I end up with a directory flooded with platform probes. How can 
> I make sure that old ones are deleted automatically?
>
> Thanks

Hi,
What version of dub do you use? I am not 100 % sure but thought 
platform probes do not longer write files with recent dub version.
Do you use DMD or LDC or GDC?

Kind regards
Andre