Re: dubproxy: Easy private repos and code.dlang.org mirror

[Martin Tschierschke via Digitalmars-d-announce]

On Monday, 19 August 2019 at 15:29:55 UTC, Andre Pany wrote:
[...]

Ok, we should add some more info to Dub help page explaining the different repository providers (dub/maven/file system).

Yes! Please :-)