更新 'WebIDE/enhance.user.js'

2018-05-15 17:24:03 +08:00 · 2018-05-15 17:24:03 +08:00 · f935e59771
parent a4468e8838
commit f935e59771
1 changed files with 1 additions and 0 deletions
--- a/WebIDE/enhance.user.js
+++ b/WebIDE/enhance.user.js
@ -5,6 +5,7 @@
 // @description  Coding WebIDE 增强脚本
 // @author       MiaoWoo
 // @match        http*://ide.yumc.pw/ws/*
+// @match        http*://ide.coding.net/ws/*
 // @grant        none
 // ==/UserScript==