diff options
Diffstat (limited to 'cabal.project')
| -rw-r--r-- | cabal.project | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/cabal.project b/cabal.project index ead57cd20..348bedc7e 100644 --- a/cabal.project +++ b/cabal.project @@ -6,7 +6,3 @@ package pandoc flags: +embed_data_files -trypandoc ghc-options: -j +RTS -A64m -RTS --- source-repository-package --- type: git --- location: https://github.com/jgm/citeproc --- tag: a8193fe375fa2354049bf9a967ba3bad4b1ba053 |