add 'override' keyword to support new JLine version with default methods#1675

alexarchambault merged 2 commits into

com-lihaoyi:maincom-lihaoyi/Ammonite:mainfrom

lrytz:jlineHighlighterOverridelrytz/Ammonite:jlineHighlighterOverrideCopy head branch name to clipboard