diff options
| author | Ronan Pigott <ronan@rjp.ie> | 2022-11-16 15:50:34 -0700 |
|---|---|---|
| committer | Simon Ser <contact@emersion.fr> | 2022-11-26 09:48:58 +0100 |
| commit | eb5021ef990fb29ff86544aea58d687ad62c757a (patch) | |
| tree | 5962cd10d597a8b9cb98f1da6baf270a435af5c8 /.editorconfig | |
| parent | af8a5a8918ef42336194fb1077b008a736de7af9 (diff) | |
root: move the workspace matching code to its own file
This removes the pid_workspace bits from tree/root before it gets
too interesting.
No functional change.
Diffstat (limited to '.editorconfig')
0 files changed, 0 insertions, 0 deletions