src/Tools/VSCode/extension/package.json
changeset 64696 e991a4fab0dc
parent 64695 135313951082
child 64734 12558536d977
     1.1 --- a/src/Tools/VSCode/extension/package.json	Wed Dec 28 21:24:33 2016 +0100
     1.2 +++ b/src/Tools/VSCode/extension/package.json	Wed Dec 28 23:24:18 2016 +0100
     1.3 @@ -11,7 +11,7 @@
     1.4          ],
     1.5      "icon": "isabelle.png",
     1.6      "version": "0.1.0",
     1.7 -    "publisher": "Makarius",
     1.8 +    "publisher": "makarius",
     1.9      "license": "BSD-3-Clause",
    1.10      "repository": { "url": "http://isabelle.in.tum.de/repos/isabelle" },
    1.11      "engines": { "vscode": "^1.5.0" },