TODO: Use HTTPS for repo.or.cz

collab-qa · Feb 25, 2019 · 03fff57 · 03fff57
1 parent fb31801
commit 03fff57
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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