Eduard Heimbuch a36c0e2a16 Fix plugin installation error if previously a plugin was installed with the same dependency which is still pending.

2020-08-25 16:29:16 +02:00

..

src

Fix plugin installation error if previously a plugin was installed with the same dependency which is still pending.

2020-08-25 16:29:16 +02:00

pom.xml

prepare for next development iteration

2020-08-14 08:51:55 +00:00