From f210682c5bd8e11d5d9d4925280a25cacbc84610 Mon Sep 17 00:00:00 2001 From: 502647092 Date: Tue, 15 May 2018 17:24:29 +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 ea6ad19..e2bb369 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.1 +// @version 0.2 // @description Coding WebIDE 增强脚本 // @author MiaoWoo // @match http*://ide.yumc.pw/ws/*