diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..41fbeb0 --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +**/result diff --git a/result b/result deleted file mode 120000 index 42ca87a..0000000 --- a/result +++ /dev/null @@ -1 +0,0 @@ -/nix/store/q715a8cky04d73cpnqxs4kyca3g4d9qj-nixdocs2html \ No newline at end of file