summaryrefslogtreecommitdiff
path: root/nix-modules/.gitignore
diff options
context:
space:
mode:
authorstuebinm2022-01-22 16:16:34 +0100
committerstuebinm2022-01-22 16:16:34 +0100
commit33e52e07bad4adde3b9e0478b26e3a48d359b617 (patch)
tree197563f4841b123d0d3e002a5eaead16515fb813 /nix-modules/.gitignore
parentd6ee1209ce08103dd2b8294c9399d628d1394f9e (diff)
isabelle: allow bringing one's own nixpkgs
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions