Mike Hearn 6aa5f0a4b5 Minor: better plugin name printing in the banner

2016-11-22 15:04:15 +01:00

..

src

Minor: better plugin name printing in the banner

2016-11-22 15:04:15 +01:00

build.gradle

Add a startup banner and suppress console logging unless --log-to-console is passed on the command line.

2016-11-21 16:08:36 +01:00