Dennis 4ed7f90e84 adapts bash settings		2025-09-21 21:41:37 +02:00
..
default.nix	adapts bash settings	2025-09-21 21:41:37 +02:00