diff options
| author | Vincent Ambo <tazjin@google.com> | 2019-12-21T14·51+0000 |
|---|---|---|
| committer | Vincent Ambo <tazjin@google.com> | 2019-12-21T14·51+0000 |
| commit | 42564b3956fab829502024230603749152baa7b3 (patch) | |
| tree | 4dc19aef720e72d394933889e54fcea63cbe66fb /third_party/pulldown-cmark/default.nix | |
| parent | a210610023d51419c8a12039e5acb0932c74f18b (diff) | |
chore(third_party): Remove pulldown-cmark again r/285
Diffstat (limited to 'third_party/pulldown-cmark/default.nix')
| -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"; - }; -} |