Matej Janezic d076dcf093 fix: create new terminal if old isn't valid anymore		2025-10-11 20:35:04 +02:00
..
geterm.lua	fix: create new terminal if old isn't valid anymore	2025-10-11 20:35:04 +02:00