Dominik Polakovics f92a108579 change terminal size		2023-11-16 15:31:53 +01:00
..
config	change terminal size	2023-11-16 15:31:53 +01:00
default.nix	add ripgrep	2023-09-12 11:08:42 +02:00