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 | d75c9f9722389d441fd24bd490c5cf12c4bef39a (patch) | |
| tree | 29176c9dd4e467527dea86298995e33a0585bd14 /.github | |
| parent | bd66f4943da1c96edc3ba49573e27b42b688c543 (diff) | |
launcher: rename pid_workspace to launcher_ctx
Soon we will match views with more than just a pid.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions