lee/pandoc
1
0
Fork 0
mirror of https://github.com/jgm/pandoc.git synced 2026-08-26 10:16:32 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use main pandoc-types repository...

Browse Source 
now that @despresc's changes have been merged.
This commit is contained in:
John MacFarlane
2020-04-17 10:05:55 -07:00
parent 906305de78
commit 7accbd585e
2 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
cabal.project
+2 -2
View File
@@ -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
stack.yaml
+2 -2
View File
@@ -14,8 +14,8 @@ packages:
extra-deps:
# - pandoc-types-1.20
# better-tables
- git: https://github.com/despresc/pandoc-types
commit: 09cb4314010365abc4512c2363b83711c92ac18b
- git: https://github.com/jgm/pandoc-types
commit: f76c1b7db0931c4fe357827033e75efe5ab4f6bf
- texmath-0.12.0.1
- haddock-library-1.8.0
- skylighting-0.8.3.2