Christoph J. Scherr 6b58e56c77 kitty use noto mono nerd font		2023-07-28 09:21:08 +02:00
..
kitty	kitty use noto mono nerd font	2023-07-28 09:21:08 +02:00
nvim	nvim latex stuff	2023-07-28 09:18:07 +02:00