mirror of
https://github.com/jgm/pandoc.git
synced 2026-08-25 17:56:32 +00:00
Use custom pandoc-types repo with new table types
This commit is contained in:
committed by
despresc
parent
f1bd06eb4a
commit
75d7e69532
@@ -13,3 +13,7 @@ source-repository-package
|
||||
location: https://github.com/jgm/pandoc-citeproc
|
||||
tag: 0.17
|
||||
|
||||
source-repository-package
|
||||
type: git
|
||||
location: https://github.com/despresc/pandoc-types
|
||||
tag: 09cb4314010365abc4512c2363b83711c92ac18b
|
||||
|
||||
+1
-1
@@ -14,7 +14,7 @@ packages:
|
||||
extra-deps:
|
||||
# - pandoc-types-1.20
|
||||
# better-tables
|
||||
- git: git@github.com:despresc/pandoc-types
|
||||
- git: https://github.com/despresc/pandoc-types
|
||||
commit: 09cb4314010365abc4512c2363b83711c92ac18b
|
||||
- texmath-0.12.0.1
|
||||
- haddock-library-1.8.0
|
||||
|
||||
Reference in New Issue
Block a user