Miguel Palhas 29821d2531 fix ghostty font size

2025-07-01 13:34:19 +01:00

..

arrakis

fixes

2025-06-30 19:20:54 +01:00

common

fix ghostty font size

2025-07-01 13:34:19 +01:00

desktop

wip

2025-06-29 15:13:01 +01:00

trantor

wip

2025-06-27 16:52:44 +01:00