lucy 93bee8f078 fix tinty setup command so that root also gets the set theme

2026-03-20 11:34:59 +01:00

..

config

change things to use tinty theme

2026-03-17 20:43:35 +01:00

plugins

fix tinty setup command so that root also gets the set theme

2026-03-20 11:34:59 +01:00