summaryrefslogtreecommitdiff
path: root/nix-modules/.gitignore
diff options
context:
space:
mode:
authorstuebinm2021-07-16 15:05:09 +0200
committerstuebinm2021-07-16 15:05:09 +0200
commitb160fc2033cfa8a356098d962bab790ec273ec03 (patch)
tree4ccf6bcb7e77567dbd852198c30234aa2fc4530d /nix-modules/.gitignore
parent41cc0560362ad402a91e1eb006935865b7c42d97 (diff)
isabelle fhs env for NixOS
Diffstat (limited to 'nix-modules/.gitignore')
0 files changed, 0 insertions, 0 deletions