Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Remove prelude-restore-arrow-keys from Navigation. This function was …
…removed in favor of loading guru-mode (bbatsov#166). No known replacement for this function.
- Loading branch information