Bad 8614abe701 Fix warning about a deprecated option in direnv		2021-07-20 16:15:56 +02:00
..
default.nix	Fix warning about a deprecated option in direnv	2021-07-20 16:15:56 +02:00