Daniel Siepmann 60188ff1da Remove nix-index ... It is slow as hell and I don't think I need the benefits.		2022-05-30 09:53:59 +02:00
..
default.nix	Remove nix-index	2022-05-30 09:53:59 +02:00