diff options
author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2022-08-17 14:00:19 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-08-17 14:00:19 +0100 |
commit | 91efad532608b2d5aedc2ce40e8daf5844f1ac74 (patch) | |
tree | 88197df546363895dc7194d0f1722cc6e803b08f /.gitignore | |
parent | 2fc06462ce5c31d363686b110b42d653b6f8f366 (diff) | |
parent | 6b3d6452eb0ecd019468eff149b023560360e566 (diff) |
Merge pull request #8 from nix-community/no-impure
No impure
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..b2be92b --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +result |