Christoph Hollizeck 77e8840534 added tide and removed things from the 'main' config to see if it still works		2025-05-06 10:28:24 +02:00
..
discord	#2 first somewhat working iteration, there seems to be a problem with home manager still	2025-05-06 10:28:19 +02:00
vivaldi	added tide and removed things from the 'main' config to see if it still works	2025-05-06 10:28:24 +02:00