From 49d07f650f31ec890c3260e3524c45f43fc825a0 Mon Sep 17 00:00:00 2001 From: Lennart kats Date: Wed, 23 Dec 2015 08:45:04 +0000 Subject: [PATCH] Move jediserver shell script into python plugin --- package.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/package.json b/package.json index c5811c7b..cbd871f0 100644 --- a/package.json +++ b/package.json @@ -90,7 +90,7 @@ "c9.ide.imgeditor": "#612e75ef4f", "c9.ide.immediate": "#a962119bec", "c9.ide.installer": "#0fde9f0067", - "c9.ide.language.python": "#f2750f141f", + "c9.ide.language.python": "#6bac4885ea", "c9.ide.mount": "#befb8188d5", "c9.ide.navigate": "#38ae100ea1", "c9.ide.newresource": "#981a408a7b",