Pim Kunis 20a47f6756 manage bat with home manager ... use gruvbox dark theme for bat closes #25		2023-10-23 19:07:57 +02:00
..
default.nix	manage bat with home manager	2023-10-23 19:07:57 +02:00