wikimedia/mediawiki-extensions-Math
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Math synced 2024-12-13 08:28:32 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Math/modules/ve-math/tools
History
Ed Sanders 085ee7dcec build: Update linters 
Change-Id: I0d6b323864a0e24f72ec6a823611927ea66ce025
2019-09-17 14:46:05 +01:00
..
.eslintrc.json build: Update linters 2019-09-17 14:46:05 +01:00
makeSvgsAndCss.js build: Update linters 2019-09-17 14:46:05 +01:00
package.json Remove SVGO compression, now done upstream in Mathoid 2016-03-23 10:52:10 +00:00