From f7ca3eabf2ae2a0a0c834100199a6f5af04c5a93 Mon Sep 17 00:00:00 2001 From: Joris Date: Wed, 17 Apr 2024 11:49:04 +0200 Subject: [PATCH] Use https address for PlayOS sources --- controller/server/view/licensing_page.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/controller/server/view/licensing_page.ml b/controller/server/view/licensing_page.ml index f34ec56f..2877cb7e 100644 --- a/controller/server/view/licensing_page.ml +++ b/controller/server/view/licensing_page.ml @@ -36,7 +36,7 @@ let html = [ txt "Source code is available at " ; a ~a:[ a_class [ "d-Licensing__Link" ] ] - [ txt "http://github.com/dividat/playos" ] + [ txt "https://github.com/dividat/playos" ] ; txt ", with instructions to build and modify the software." ] ]