From ecdbd18bc1234bac2cb44a01694b6c23e33584a5 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Thu, 18 Aug 2022 11:00:25 -0700
Subject: [PATCH] Remove pandoc-server from cabal.project.

---
 cabal.project | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/cabal.project b/cabal.project
index 65cf0b392..c8b1c796d 100644
--- a/cabal.project
+++ b/cabal.project
@@ -8,8 +8,3 @@ source-repository-package
   location: https://github.com/tarleb/gridtables
   tag: 76198add9b404124b3a2fdf137399256a91d337b
 
-
-source-repository-package
-  type: git
-  location: https://github.com/jgm/pandoc-server
-  tag: fb4a86f725c5e61eff63227a39df591262bccf67