Tiny bit a nix formatting

Christian Rochacommitted parent a055d2b78b3eea5daa7861532808785bbbc54cd6ed0e60fBrowse files
3 files changed+7−13

Rendering diff…