mirror of
https://github.com/jgm/pandoc.git
synced 2026-08-26 02:06:32 +00:00
Bump version to 1.17.
API change in type of Text.Pandoc.Shared.uniqueIdent.
This commit is contained in:
+1
-1
@@ -1,5 +1,5 @@
|
||||
Name: pandoc
|
||||
Version: 1.16.0.2
|
||||
Version: 1.17
|
||||
Cabal-Version: >= 1.10
|
||||
Build-Type: Custom
|
||||
License: GPL
|
||||
|
||||
Reference in New Issue
Block a user