shell.nix
changeset 47 d7b69a5dcd37
parent 39 d671d57178fc
equal deleted inserted replaced
46:cd7815894e22 47:d7b69a5dcd37