diff options
Diffstat (limited to 'cabal.project')
| -rw-r--r-- | cabal.project | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cabal.project b/cabal.project index d780a5d48..f022522ce 100644 --- a/cabal.project +++ b/cabal.project @@ -15,5 +15,5 @@ source-repository-package source-repository-package type: git - location: git: https://github.com/jgm/pandoc-types + location: https://github.com/jgm/pandoc-types tag: 00f7bb79e79d7cfd3523880dbc64ba3ea46c3da2 |