diff options
| author | XhmikosR <xhmikosr@gmail.com> | 2019-08-30 11:52:22 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-30 11:52:22 +0300 |
| commit | a6460d972743ecf4cf1fc382dafd06af945fff0a (patch) | |
| tree | cb1453219eaf1c93824a3497e24bc526fc4fff2a /.stylelintignore | |
| parent | 007ea0d8d043a788383109e1883717875fa5530d (diff) | |
Merge lint scripts (#29329)
* Merge js-lint scripts into one script.
* Merge stylelint scripts into one.
Diffstat (limited to '.stylelintignore')
| -rw-r--r-- | .stylelintignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.stylelintignore b/.stylelintignore index 7bc488e5f8..e42e889384 100644 --- a/.stylelintignore +++ b/.stylelintignore @@ -2,3 +2,4 @@ **/dist/ **/vendor/ /_gh_pages/ +/js/coverage/ |