Mirrors
/
uBlock
mirror of https://github.com/gorhill/uBlock.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

code review: fix jshint warning

This commit is contained in:
Raymond Hill 2018-04-10 08:14:10 -04:00
parent 6bbd892dd3
commit e1c18110c0
No known key found for this signature in database
GPG Key ID: 25E1490B761470C2
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/js/dashboard-common.js
View File

@ -19,7 +19,8 @@
Home: https://github.com/gorhill/uBlock
*/
/* global uDom */
/* global CodeMirror, uDom */
'use strict';
/******************************************************************************/