Adam 10773f6a5e mining plugin: rename MiningOverlay to MiningRocksOverlay ...

Co-authored-by: jzomerlei <jzomerlei@gmail.com>

2020-08-15 00:30:37 -04:00

..

src

mining plugin: rename MiningOverlay to MiningRocksOverlay

2020-08-15 00:30:37 -04:00

pom.xml

Bump for 1.6.25-SNAPSHOT

2020-08-06 11:26:05 +00:00