J. Fernando Sánchez 93aeb0019e Replace wezterm with ghostty ...

wezterm was consuming quite a lot of memory, and I wasn't really using
any of the advanced features.

I will reconsider if ghostty ends up using just as much.

2026-02-26 11:13:04 +01:00

..

config

Replace wezterm with ghostty

2026-02-26 11:13:04 +01:00