mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-16 02:51:50 +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
16 lines
1 KiB
XML
16 lines
1 KiB
XML