diff options
| author | Vincent Ambo <mail@tazj.in> | 2023-08-28T19·41+0300 |
|---|---|---|
| committer | tazjin <tazjin@tvl.su> | 2023-08-29T08·22+0000 |
| commit | 0a7a9e96ab0419439b1efc57b50091ae3507f005 (patch) | |
| tree | cfe43e41811c0c5fe117602ed2aae959d9b74f29 /third_party/kernelPatches | |
| parent | 690f73074cbe7b5fe498162c6d0b65576c103e08 (diff) | |
chore(tazjin/emacs): remove EXWM gnome-terminal window naming case r/6532
I haven't used that since ... 2018 or so, time for it to go. Change-Id: I5e1b729bd553940b98335e3d9c7ca5b134fdf692 Reviewed-on: https://cl.tvl.fyi/c/depot/+/9161 Reviewed-by: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
Diffstat (limited to 'third_party/kernelPatches')
0 files changed, 0 insertions, 0 deletions