René Pfeuffer 13d72d45c6 Prevent multiple instances of working copy pool (#1797) ...

The working copy pool has to be a singleton, because
otherwise there could be multiple instances with their
own caches and therefore no reuse and maybe more relevant
working directories that will never be deleted.

2021-09-06 08:40:22 +02:00

..

src

Prevent multiple instances of working copy pool (#1797)

2021-09-06 08:40:22 +02:00

build.gradle

Proxy support for pull, push and mirror commands (#1773)

2021-08-19 11:27:51 +02:00