Ethan Atkins 901c8ee5df Use new history file path for jline3 ... The jline2 history file format is incompatible with jline3 and jline3 prints a very noisy warning if it detects such a file. History will also not work with jline3 until you remove or reformat the old file.		2020-07-21 13:27:44 -07:00
..
src	Use new history file path for jline3	2020-07-21 13:27:44 -07:00
NOTICE	Add, configure & enforce file headers	2017-10-05 09:03:40 +01:00