Jip J. Dekker 8a61e973a0

Change kitty theme

2022-10-13 10:16:53 +11:00

..

rc.d

Change kitty theme

2022-10-13 10:16:53 +11:00