From 03fff57a114284a6db61acb2af4fbbab955e182d Mon Sep 17 00:00:00 2001
From: Jakub Wilk <jwilk@jwilk.net>
Date: Mon, 25 Feb 2019 14:46:00 +0100
Subject: [PATCH] TODO: Use HTTPS for repo.or.cz

---
 data/c.ini | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/data/c.ini b/data/c.ini
index de814cf..795771a 100644
--- a/data/c.ini
+++ b/data/c.ini
@@ -157,7 +157,7 @@ command = splint -I{cwd} +posixlib -preproc -strict -warnposix +quiet {files}
 # TODO: adlint
 # TODO: coccinelle
 # TODO: sparse
-# TODO: http://repo.or.cz/w/smatch.git
+# TODO: https://repo.or.cz/w/smatch.git
 # TODO: frama-c
 # TODO: scan-build
 # TODO: abi-compliance-checker