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/*