diff options
| -rw-r--r-- | cabal.project | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cabal.project b/cabal.project index ec7de4ace..4ba7aee08 100644 --- a/cabal.project +++ b/cabal.project @@ -15,5 +15,5 @@ source-repository-package source-repository-package type: git -- location: https://github.com/jgm/pandoc-types + location: https://github.com/jgm/pandoc-types tag: f76c1b7db0931c4fe357827033e75efe5ab4f6bf |