mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-25 14:56:20 +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 |
||
---|---|---|
.. | ||
images | ||
ve.ui.Context.css | ||
ve.ui.css | ||
ve.ui.Dialog.css | ||
ve.ui.Element.css | ||
ve.ui.Frame.css | ||
ve.ui.Icons-raster.css | ||
ve.ui.Icons-vector.css | ||
ve.ui.Inspector.css | ||
ve.ui.Layout.css | ||
ve.ui.Surface.css | ||
ve.ui.Tool.css | ||
ve.ui.Toolbar.css | ||
ve.ui.Widget.css | ||
ve.ui.Window.css |