From f935e59771dd9c478bf078c373be87c361a49d6d Mon Sep 17 00:00:00 2001 From: 502647092 Date: Tue, 15 May 2018 17:24:03 +0800 Subject: [PATCH] =?UTF-8?q?=E6=9B=B4=E6=96=B0=20'WebIDE/enhance.user.js'?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- WebIDE/enhance.user.js | 1 + 1 file changed, 1 insertion(+) diff --git a/WebIDE/enhance.user.js b/WebIDE/enhance.user.js index d7210cd..ea6ad19 100644 --- a/WebIDE/enhance.user.js +++ b/WebIDE/enhance.user.js @@ -5,6 +5,7 @@ // @description Coding WebIDE 增强脚本 // @author MiaoWoo // @match http*://ide.yumc.pw/ws/* +// @match http*://ide.coding.net/ws/* // @grant none // ==/UserScript==