Ingolf Wagner 120ad98534 bat is alias for cat		2023-05-29 17:07:05 +02:00
..
gui	bat is alias for cat	2023-05-29 17:07:05 +02:00
network	adjustments	2023-05-28 21:24:20 +02:00
terminal	component restructuring	2023-05-28 20:22:23 +02:00
default.nix	component restructuring	2023-05-28 20:22:23 +02:00