wikimedia/mediawiki-extensions-Math
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Math synced 2024-11-15 11:48:23 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Math/modules/ve-math/tools
History
Ed Sanders e2139b1657 build: Introduce stylelint to lint for css errors 
Also update the rest of the CI world whilst we're at it.

Change-Id: Iaad2867797cccb2dd0df7758e448b553859fa62c
2016-05-19 19:16:00 +01:00
..
makeSvgsAndCss.js build: Introduce stylelint to lint for css errors 2016-05-19 19:16:00 +01:00
package.json Remove SVGO compression, now done upstream in Mathoid 2016-03-23 10:52:10 +00:00