Christoph Hollizeck 829d0d076d added tide and removed things from the 'main' config to see if it still works		2024-03-26 17:48:15 +01:00
..
discord	#2 first somewhat working iteration, there seems to be a problem with home manager still	2024-03-26 17:28:20 +01:00
vivaldi	added tide and removed things from the 'main' config to see if it still works	2024-03-26 17:48:15 +01:00