mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-16 10:59:56 +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
11 lines
649 B
XML
11 lines
649 B
XML