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:24:29 +08:00
parent f935e59771
commit f210682c5b
1 changed files with 1 additions and 1 deletions
Show Stats 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.1 // @version 0.2
// @description Coding WebIDE 增强脚本 // @description Coding WebIDE 增强脚本
// @author MiaoWoo // @author MiaoWoo
// @match http*://ide.yumc.pw/ws/* // @match http*://ide.yumc.pw/ws/*