diff options
| author | David Lattimore <[email protected]> | 2020-07-29 02:44:01 +0100 |
|---|---|---|
| committer | David Lattimore <[email protected]> | 2020-07-29 06:06:58 +0100 |
| commit | cf55806257776baf7db6b02d260bdaa9e851c7d4 (patch) | |
| tree | 6827c094a4a27631ee9b1b97d98a8ac9c0a56aac /editors/code/.gitignore | |
| parent | 5a8124273dd663f7f1ed43b53defc4a2c52dbc12 (diff) | |
SSR: Restrict to current selection if any
The selection is also used to avoid unnecessary work, but only to the
file level. Further restricting unnecessary work is left for later.
Diffstat (limited to 'editors/code/.gitignore')
0 files changed, 0 insertions, 0 deletions