This repository has been archived by the owner on Nov 19, 2020. It is now read-only.

Archive the repo? #2

Closed

eatkins opened this issue Nov 18, 2020 · 1 comment

eatkins commented Nov 18, 2020

Now that jline has merged our changes, we shouldn't need to update this project.

Member

eed3si9n commented Nov 18, 2020

ok

eed3si9n closed this as completed

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.