diff options
Diffstat (limited to 'third_party/pulldown-cmark')
-rw-r--r-- | third_party/pulldown-cmark/default.nix | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/third_party/pulldown-cmark/default.nix b/third_party/pulldown-cmark/default.nix deleted file mode 100644 index 7b1614f18748..000000000000 --- a/third_party/pulldown-cmark/default.nix +++ /dev/null @@ -1,12 +0,0 @@ -{ pkgs, ... }: - -with pkgs.third_party; - -naersk.buildPackage { - src = fetchFromGitHub { - owner = "raphlinus"; - repo = "pulldown-cmark"; - rev = "e10b6801081799cab52dc3029a6de357b604f13e"; - sha256 = "1zibwh9fnysgkg2sgp6fxlsbc1cwp5gqc8nqsdglry9p21jd351i"; - }; -} |