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