Peter Hormanns 15c7236ccd disable !events on jline console		2016-09-12 12:57:35 +02:00
..
deb	package name in lowercase	2016-09-09 12:53:47 +02:00
main	disable !events on jline console	2016-09-12 12:57:35 +02:00