chore(third_party): Remove pulldown-cmark again

This commit is contained in:
Vincent Ambo 2019-12-21 14:51:52 +00:00
parent a210610023
commit 42564b3956
2 changed files with 0 additions and 16 deletions

View file

@ -1,12 +0,0 @@
{ pkgs, ... }:
with pkgs.third_party;
naersk.buildPackage {
src = fetchFromGitHub {
owner = "raphlinus";
repo = "pulldown-cmark";
rev = "e10b6801081799cab52dc3029a6de357b604f13e";
sha256 = "1zibwh9fnysgkg2sgp6fxlsbc1cwp5gqc8nqsdglry9p21jd351i";
};
}

View file

@ -15,10 +15,6 @@ let
patches = old.patches ++ [ ./cgit_depot_url.patch ];
});
cmarkFilter = writeShellScript "pulldown-cmark-filter.sh" ''
exec ${pulldown-cmark}/bin/pulldown-cmark -TFSL
'';
cgitConfig = writeText "cgitrc" ''
# Global configuration
virtual-root=/