# HG changeset patch
# User wenzelm
# Date 1502368333 -7200
# Node ID 21514c6e5e4333464507c6ca8cc9cfb6f6f76e79
# Parent  fa473c07d86c5f00148a765f89dd6e2be94e9f3e
prefer https for the sake of "npm run vscode:prepublish";

diff -r fa473c07d86c -r 21514c6e5e43 src/Tools/VSCode/extension/README.md
--- a/src/Tools/VSCode/extension/README.md	Thu Aug 10 11:35:39 2017 +0200
+++ b/src/Tools/VSCode/extension/README.md	Thu Aug 10 14:32:13 2017 +0200
@@ -16,7 +16,7 @@
 
 ## Screenshot
 
-![[Isabelle/VSCode]](http://isabelle.in.tum.de/repos/isabelle/raw-file/b565a39627bb/src/Tools/VSCode/extension/isabelle_vscode.png)
+![[Isabelle/VSCode]](https://isabelle.in.tum.de/repos/isabelle/raw-file/b565a39627bb/src/Tools/VSCode/extension/isabelle_vscode.png)
 
 
 ## Notable Features