This repository has been archived by the owner on May 28, 2022. It is now read-only.

This repository has been archived by the owner on May 28, 2022. It is now read-only.

"jump" = "spring" #136

Open

isomorphisms opened this issue Mar 20, 2019 · 1 comment

Collaborator

isomorphisms commented Mar 20, 2019

"jump" and "line number" as synonyms for (spring | go to line)

The text was updated successfully, but these errors were encountered:

Owner

dwiel commented Mar 20, 2019

true, we do want to be careful with cluttering the grammar though.

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