From 7accbd585e3d4f843319ce220232d74485900a00 Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Fri, 17 Apr 2020 10:05:55 -0700 Subject: Use main pandoc-types repository... now that @despresc's changes have been merged. --- cabal.project | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'cabal.project') diff --git a/cabal.project b/cabal.project index b46532ca9..ec7de4ace 100644 --- a/cabal.project +++ b/cabal.project @@ -15,5 +15,5 @@ source-repository-package source-repository-package type: git - location: https://github.com/despresc/pandoc-types - tag: 09cb4314010365abc4512c2363b83711c92ac18b +- location: https://github.com/jgm/pandoc-types + tag: f76c1b7db0931c4fe357827033e75efe5ab4f6bf -- cgit v1.2.3