mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-29 08:34:54 +00:00
995f9fb382
Objectives: * Remove "big" icons, which we don't use anywhere * Remove unnecessary crap from SVG files * \r\n -> \n Change-Id: Iedfcaf43e4e15acd4ae3a2671ba7b2e3d9c2f4b4 |
||
---|---|---|
.. | ||
jquery | ||
oojs | ||
qunit | ||
rangy | ||
unicodejs | ||
ve |