-
Benno Schulenberg authored
As of commit c79fe1a1, the more readable ^/ has replaced ^_ as the advertised shortcut for Go-To-Line -- color it too as valid.
082e5db4
As of commit c79fe1a1, the more readable ^/ has replaced ^_ as the advertised shortcut for Go-To-Line -- color it too as valid.