games647 9d2c346235 Use platform scheduler to reuse threads between plugins ...

The platforms usually use a caching thread executor. It makes to use
this executor to reuse threads as they are expensive to create.

2022-03-30 16:02:51 +02:00

..

src

Use platform scheduler to reuse threads between plugins

2022-03-30 16:02:51 +02:00

pom.xml

Use custom repository settings for faster fetching

2022-03-30 16:02:51 +02:00