Use latest pandoc-types master with underline addition.

This commit is contained in:
John MacFarlane 2020-04-27 09:35:34 -07:00
parent 3324412d72
commit 8d09a92d97
2 changed files with 3 additions and 4 deletions

View file

@ -16,4 +16,4 @@ source-repository-package
source-repository-package
type: git
location: https://github.com/jgm/pandoc-types
tag: 4acb0e50f10d8f41f94c0973384d63f06d0b9ffd
tag: dd50a6eaeaf63773bbf04d6ef34b86d6f92b7825

View file

@ -12,10 +12,9 @@ flags:
packages:
- '.'
extra-deps:
# - pandoc-types-1.20
# better-tables
# to be replaced eventually by pandoc-types-1.21:
- git: https://github.com/jgm/pandoc-types
commit: 4acb0e50f10d8f41f94c0973384d63f06d0b9ffd
commit: dd50a6eaeaf63773bbf04d6ef34b86d6f92b7825
- git: https://github.com/jgm/pandoc-citeproc
commit: 2e6fe791ec5293acc925c2ccbe79c9c10d2b7e07
- texmath-0.12.0.2