diff options
| author | Bjorn Ove Hay Andersen | 2023-10-12 08:35:43 +0000 |
|---|---|---|
| committer | GitHub | 2023-10-12 08:35:43 +0000 |
| commit | 07a006d1d5270e81c57bbc0e712614741d3b31a7 (patch) | |
| tree | 24b1f853408a4d5c1bf4be8bdb224774a0ed18ac /runtime/queries/purescript/locals.scm | |
| parent | 1852292451d984de33ea526b3b7dc7f51c6130eb (diff) | |
Add +N CLI argument to jump to first file's line number (#8521)
* Accept +num flag for opening at line number
* Update +N argument feature according to feedback in original PR #5603
* Only override the line number of the first file if +N is specified
---------
Co-authored-by: Nachum Barcohen <38861757+nabaco@users.noreply.github.com>
Diffstat (limited to 'runtime/queries/purescript/locals.scm')
0 files changed, 0 insertions, 0 deletions