Major 6941fc9de0 Fix nitpicks in Mining plugin ...

Also adds equals() and hashcode() implementations to the various
Mining actions.

2018-03-28 17:39:50 +01:00

..

plugin

Fix nitpicks in Mining plugin

2018-03-28 17:39:50 +01:00

plugin-testing

Fix incremental script compilation

2017-09-16 21:49:45 +01:00

src

Remove plugin script stub

2018-03-27 22:35:12 +01:00

build.gradle

Remove plugin script stub

2018-03-27 22:35:12 +01:00