mirror of
https://github.com/jgm/pandoc.git
synced 2026-09-01 05:33:41 +08:00
cabal files: use https: for repo url.
This commit is contained in:
@@ -21,7 +21,7 @@ extra-source-files:
|
||||
man/pandoc-server.1
|
||||
source-repository head
|
||||
type: git
|
||||
location: git://github.com/jgm/pandoc.git
|
||||
location: https://github.com/jgm/pandoc.git
|
||||
|
||||
flag lua
|
||||
description: Support custom modifications and conversions with the
|
||||
|
||||
+1
-1
@@ -429,7 +429,7 @@ extra-source-files:
|
||||
test/pod-reader.pod
|
||||
source-repository head
|
||||
type: git
|
||||
location: git://github.com/jgm/pandoc.git
|
||||
location: https://github.com/jgm/pandoc.git
|
||||
|
||||
flag embed_data_files
|
||||
Description: Embed data files in binary for relocatable executable.
|
||||
|
||||
Reference in New Issue
Block a user