Andreas Zweili 87366a614c fix the name servers for grav and heimdall		2022-01-12 22:59:36 +01:00
..
default.nix	fix the name servers for grav and heimdall	2022-01-12 22:59:36 +01:00