502647092/UserScript
1
0
Fork 0
Code Releases Activity

更新 'WebIDE/enhance.user.js'

Browse Source
This commit is contained in:
502647092
2018-05-15 17:34:48 +08:00
parent e83f34c885
commit de7af54937
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
WebIDE/enhance.user.js
View File

@@ -1,7 +1,7 @@
// ==UserScript== // ==UserScript==
// @name WebIDE增强脚本 // @name WebIDE增强脚本
// @namespace http://ide.yumc.pw/ // @namespace http://ide.yumc.pw/
// @version 0.2 // @version 0.3
// @description Coding WebIDE 增强脚本 // @description Coding WebIDE 增强脚本
// @author MiaoWoo // @author MiaoWoo
// @match http*://ide.yumc.pw/ws/* // @match http*://ide.yumc.pw/ws/*