wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 10:35:48 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/styles
History
Niklas Laxström 5957065043 Optimise png images with optipng 
Change-Id: Id014ad0a0aa99c9440360e32d2e10bc99fa64738
2013-07-05 09:47:12 +00:00
..
images Optimise png images with optipng 2013-07-05 09:47:12 +00:00
ve.ui.Icons-raster.css The great directory split of 2013 2013-07-02 20:51:38 -07:00
ve.ui.Icons-vector.css The great directory split of 2013 2013-07-02 20:51:38 -07:00
ve.ui.MWDialog.css The great directory split of 2013 2013-07-02 20:51:38 -07:00
ve.ui.Tool.css The great directory split of 2013 2013-07-02 20:51:38 -07:00
ve.ui.Widget.css The great directory split of 2013 2013-07-02 20:51:38 -07:00