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

[Martin Tschierschke]

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 :-)