1
0
Fork 0

更新 'WebIDE/enhance.user.js'

master
502647092 2018-07-29 20:50:06 +08:00
parent f077826b95
commit c255deb7dc
1 changed files with 3 additions and 2 deletions

View File

@ -4,9 +4,10 @@
// @version 0.8.1
// @description Coding WebIDE 增强脚本
// @author MiaoWoo
// @match http*://ide.yumc.pw/ws/*
// @match http*://*.coding.net/ws/*
// @include http*://ide.yumc.pw/ws/*
// @include http*://*.coding.net/ws/*
// @grant none
// @namespace yumc
// ==/UserScript==
(function() {