wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-12 09:09:25 +00:00
Code Issues Packages Projects Releases Wiki Activity

Run stylelint for less file

Browse source 
File was added with I151fc9bab3d3032f50c8d11be6b54e45a06fcc34

Change-Id: I5ef55e47a39e7ec3ea7c6066a048b1c4747b25ad
This commit is contained in:
Umherirrender 2017-06-29 21:17:54 +02:00
parent 59d74932b0
commit 766c140536
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
Gruntfile.js
View file

@ -131,6 +131,7 @@ module.exports = function ( grunt ) {
stylelint: {
all: [
'**/*.css',
'**/*.less',
'!coverage/**',
'!dist/**',
'!docs/**',