summaryrefslogtreecommitdiff
path: root/gnu/packages/ocaml.scm
diff options
context:
space:
mode:
authorNicolas Goaziou <mail@nicolasgoaziou.fr>2020-05-27 01:49:41 +0200
committerNicolas Goaziou <mail@nicolasgoaziou.fr>2020-05-27 01:49:41 +0200
commit272d5ada9a3cc951f81e000f51ad7dd506073a5b (patch)
tree70e4109d62801d3a3a53658e8bf5603610f87d4f /gnu/packages/ocaml.scm
parent98d6edb621ac69b8a5108b4452a2daa078ed0fcc (diff)
gnu: dvtm: Use HTTPS home page URI.
* gnu/packages/dvtm.scm (dvtm)[home-page]: Use HTTPS URI.
Diffstat (limited to 'gnu/packages/ocaml.scm')
0 files changed, 0 insertions, 0 deletions