From de7af54937fe44eb6d7bd7112147d30c0050e703 Mon Sep 17 00:00:00 2001 From: 502647092 Date: Tue, 15 May 2018 17:34:48 +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 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/WebIDE/enhance.user.js b/WebIDE/enhance.user.js index 71d2ad3..62bfba5 100644 --- a/WebIDE/enhance.user.js +++ b/WebIDE/enhance.user.js @@ -1,7 +1,7 @@ // ==UserScript== // @name WebIDE增强脚本 // @namespace http://ide.yumc.pw/ -// @version 0.2 +// @version 0.3 // @description Coding WebIDE 增强脚本 // @author MiaoWoo // @match http*://ide.yumc.pw/ws/*